Discretization of timed automata in Timed µCRL à la regions and zones

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

Samenvatting

no abstract.
Originele taal-2Engels
TitelAlgebraic Process Calculi: The First Twenty Five Years and Beyond (Short contributions from the workshop, Bertinoro, Forli, Italy, August 1-5, 2005), BRICS Notes Series NS-05-3
RedacteurenL. Aceto, A.D. Gordon
Plaats van productieAarhus, Denmark
UitgeverijBRICS, University of Aarhus
Pagina's132-136
StatusGepubliceerd - 2005

Citeer dit

Groote, J. F., Reniers, M. A., & Usenko, Y. S. (2005). Discretization of timed automata in Timed µCRL à la regions and zones. In L. Aceto, & A. D. Gordon (editors), Algebraic Process Calculi: The First Twenty Five Years and Beyond (Short contributions from the workshop, Bertinoro, Forli, Italy, August 1-5, 2005), BRICS Notes Series NS-05-3 (blz. 132-136). BRICS, University of Aarhus.