Additional Metadata
THEME Software (theme 1)
Publisher Elsevier
Journal Electronic Notes in Theoretical Computer Science
Citation
Groote, J.F, Reniers, M.A, & Usenko, Y.S. (2006). Discretization of Timed Automata in Timed μCRL `a la Regions and Zones. Electronic Notes in Theoretical Computer Science , 162, 197–202.