SMT-based analysis of a Boolean model of inflammation

Onderzoeksoutput: Bijdrage aan congres › Poster

Originele taal-2	Engels
Status	Gepubliceerd - 2013

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

Citeer dit

@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",

}