Towards modelling modelling of Hybrid systems in Spin

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

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

Cite this

@inproceedings{386498ba85274057bb1c450451506f6d,

title = "Towards modelling modelling of Hybrid systems in Spin",

author = "D. Bosnacki",

year = "1998",

language = "English",

editor = "B. Luttik and \{Wamel, van\}, J.",

booktitle = "Third international workshop on formal methods for industrial critical systems",

publisher = "Centrum voor Wiskunde en Informatica",

}