• Groene Loper 5, Metaforum

    5612 AP Eindhoven

    Netherlands

  • P.O. Box 513, Department of Mathematics and Computer Science

    5600 MB Eindhoven

    Netherlands

Research Output

Filter
Poster
2013

SMT-based analysis of a Boolean model of inflammation

Riel, van, N. A. W., Zantema, H., Bosnacki, D. & Hilbers, P. A. J., 2013.

Research output: Contribution to conferencePosterAcademic

2005

SPecTEC : Specification tools for embedded software components (Poster)

Kuiper, R., Baeten, J. C. M. & Luit, E. J., 2005.

Research output: Contribution to conferencePosterAcademic