• Groene Loper 5, Metaforum

    5612 AP Eindhoven

    Nederland

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

    5600 MB Eindhoven

    Nederland

Onderzoeksoutput

Filter
Poster
2005

SPecTEC : Specification tools for embedded software components (Poster)

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

Onderzoeksoutput: Bijdrage aan congresPosterAcademic

2013

SMT-based analysis of a Boolean model of inflammation

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

Onderzoeksoutput: Bijdrage aan congresPosterAcademic