SMT-based analysis of a Boolean model of inflammation

Research output: Contribution to conference › Poster

Original language	English
Publication status	Published - 2013

Proceedings of the 14th International Conference on Systems Biology (ICSB), August 30- September 3, 2013, Copenhagen, Denmark

Cite this

@conference{c21bb0e4e7c946448f906a4174f79c76,

title = "SMT-based analysis of a Boolean model of inflammation",

author = "{Riel, van}, N.A.W. and H. Zantema and D. Bosnacki and P.A.J. Hilbers",

note = "Proceedings of the 14th International Conference on Systems Biology (ICSB), August 30- September 3, 2013, Copenhagen, Denmark",

year = "2013",

language = "English",

}