Verifying Chi models of industrial systems with Spin

N. Trcka

Onderzoeksoutput: Boek/rapportRapportAcademic

23 Downloads (Pure)
Originele taal-2Engels
Plaats van productieEindhoven
UitgeverijTechnische Universiteit Eindhoven
Aantal pagina's24
StatusGepubliceerd - 2005

Publicatie series

NaamComputer science reports
Volume0512
ISSN van geprinte versie0926-4515

Citeer dit

Trcka, N. (2005). Verifying Chi models of industrial systems with Spin. (Computer science reports; Vol. 0512). Eindhoven: Technische Universiteit Eindhoven.