A formal approach to hybrid systems

P.J.L. Cuijpers, A.L. Juloski

Research output: Contribution to conference › Paper › Academic

Original languageEnglish
Publication statusPublished - 2001
Event2nd PROGRESS Workshop on Embedded Systems, October 18, 2001, Utrecht, The Netherlands - Utrecht, Netherlands
Duration: 18 Oct 2001 → 18 Oct 2001

Workshop

Workshop2nd PROGRESS Workshop on Embedded Systems, October 18, 2001, Utrecht, The Netherlands
Country/TerritoryNetherlands
CityUtrecht
Period18/10/01 → 18/10/01

Cite this