The analysis of a conveyor belt system : a case study in hybrid systems and timed muCRL

T.A.C. Willemse

Onderzoeksoutput: Boek/rapport › Rapport › Academic

213 Downloads (Pure)
Originele taal-2Engels
Plaats van productieEindhoven
UitgeverijTechnische Universiteit Eindhoven
Aantal pagina's44
StatusGepubliceerd - 1999

Publicatie series

NaamComputing science reports
Volume9910
ISSN van geprinte versie0926-4515

Toegang tot document

  • 200011402Definitieve gepubliceerde versie, 1,33 MB

    Citeer dit