Verifying Chi models of industrial systems with Spin

N. Trcka

Onderzoeksoutput: Boek/rapportRapportAcademic

45 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