placeholder image
Publications in VIVO
 

Lampert, R.

selected publications

  • academic article

    • Model-checking behavioral programsEmbedded Systems Week 2011, ESWEEK 2011 - Proceedings of the 9th ACM International Conference on Embedded Software, EMSOFT'11.  279-288. 2011