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

J.F. Groote; M.A. Reniers; Y.S. Usenko

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

J.F. Groote
, M.A. Reniers
, Y.S. Usenko

Formal System Analysis

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

Abstract

no abstract.

Original language	English
Title of host publication	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
Editors	L. Aceto, A.D. Gordon
Place of Publication	Aarhus, Denmark
Publisher	BRICS, University of Aarhus
Pages	132-136
Publication status	Published - 2005

Cite this

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 (Eds.), 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 (pp. 132-136). BRICS, University of Aarhus.

Groote, J.F. ; Reniers, M.A. ; Usenko, Y.S. / Discretization of timed automata in Timed µCRL à la regions and zones. 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. editor / L. Aceto ; A.D. Gordon. Aarhus, Denmark : BRICS, University of Aarhus, 2005. pp. 132-136

@inproceedings{65137aab9b374f10826e19df06aac0d4,

title = "Discretization of timed automata in Timed µCRL {\`a} la regions and zones",

abstract = "no abstract.",

author = "J.F. Groote and M.A. Reniers and Y.S. Usenko",

year = "2005",

language = "English",

pages = "132--136",

editor = "L. Aceto and A.D. Gordon",

booktitle = "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",

publisher = "BRICS, University of Aarhus",

}

Groote, JF , Reniers, MA & Usenko, YS 2005, Discretization of timed automata in Timed µCRL à la regions and zones. in L Aceto & AD Gordon (eds), 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. BRICS, University of Aarhus, Aarhus, Denmark, pp. 132-136.

Discretization of timed automata in Timed µCRL à la regions and zones. / Groote, J.F.; Reniers, M.A.; Usenko, Y.S.
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. ed. / L. Aceto; A.D. Gordon. Aarhus, Denmark: BRICS, University of Aarhus, 2005. p. 132-136.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

TY - GEN

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

AU - Groote, J.F.

AU - Reniers, M.A.

AU - Usenko, Y.S.

PY - 2005

Y1 - 2005

N2 - no abstract.

AB - no abstract.

M3 - Conference contribution

SP - 132

EP - 136

BT - 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

A2 - Aceto, L.

A2 - Gordon, A.D.

PB - BRICS, University of Aarhus

CY - Aarhus, Denmark

ER -

Groote JF , Reniers MA, Usenko YS. Discretization of timed automata in Timed µCRL à la regions and zones. In Aceto L, Gordon AD, 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. Aarhus, Denmark: BRICS, University of Aarhus. 2005. p. 132-136

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

Abstract

Fingerprint

Cite this