Discretization of timed automata in timed $\mu$ crl  à la regions and zones

2005

Presented at the Workshop on Algebraic Process Calculi: The First Twenty-Five Years and Beyond, Bertinoro, Forli, Italy

Additional Metadata
THEME	Software (theme 1)
Publisher	BRICS
Editor	L. Aceto (Luca) , A.D. Gordon
Series	BRICS Notes Series
Conference	Workshop on Algebraic Process Calculi: The First Twenty-Five Years and Beyond
Organisation	Computer Security
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Usenko, Y., Groote, J. F., & Reniers, M. (2005). Discretization of timed automata in timed $\mu$ crl à la regions and zones. In L. Aceto & A. D. Gordon (Eds.), Algebraic Process Calculi: The First Twenty Five Years and Beyond (pp. 132–136). BRICS.

Publication