Original language | English |
---|---|
Title of host publication | Third international workshop on formal methods for industrial critical systems |
Editors | B. Luttik, J. Wamel, van |
Place of Publication | Amsterdam |
Publisher | Centrum voor Wiskunde en Informatica |
Publication status | Published - 1998 |
Towards modelling modelling of Hybrid systems in Spin
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review