Towards modelling modelling of Hybrid systems in Spin

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationThird international workshop on formal methods for industrial critical systems
EditorsB. Luttik, J. Wamel, van
Place of PublicationAmsterdam
PublisherCentrum voor Wiskunde en Informatica
Publication statusPublished - 1998

Cite this