SMT-based analysis of a Boolean model of inflammation

Research output: Contribution to conferencePosterAcademic

Original languageEnglish
Publication statusPublished - 2013

Bibliographical note

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

Cite this