A discretisation method for asynchronous timed systems

B.T. Knaack, R.T. Gerth

Research output: Book/Report › Report › Academic

Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Publication statusPublished - 1997

Publication series

NameComputing science reports
Volume9701
ISSN (Print)0926-4515

Cite this