A discretisation method for asynchronous timed systems

B.T. Knaack, R.T. Gerth

Onderzoeksoutput: Boek/rapport › Rapport › Academic

Originele taal-2Engels
Plaats van productieEindhoven
UitgeverijTechnische Universiteit Eindhoven
StatusGepubliceerd - 1997

Publicatie series

NaamComputing science reports
Volume9701
ISSN van geprinte versie0926-4515

Citeer dit