Formal semantics of hybrid Chi

R.R.H. Schiffelers; D.A. Beek, van; K.L. Man; M.A. Reniers; J.E. Rooda

Formal semantics of hybrid Chi

R.R.H. Schiffelers, D.A. Beek, van, K.L. Man, M.A. Reniers, J.E. Rooda

Formal System Analysis

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

Original language	English
Title of host publication	Formal Modeling and Analysis of Timed Systems (First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers)
Editors	K.G. Larsen, P. Niebert
Place of Publication	Berlin
Publisher	Springer
Pages	151-165
ISBN (Print)	3-540-21671-5
Publication status	Published - 2004

Publication series

Name	Lecture Notes in Computer Science
Volume	2791
ISSN (Print)	0302-9743

Cite this

Schiffelers, R. R. H., Beek, van, D. A., Man, K. L., Reniers, M. A., & Rooda, J. E. (2004). Formal semantics of hybrid Chi. In K. G. Larsen, & P. Niebert (Eds.), Formal Modeling and Analysis of Timed Systems (First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers) (pp. 151-165). (Lecture Notes in Computer Science; Vol. 2791). Springer.

@inproceedings{5eee46146a55450ca3794313878f8f45,

title = "Formal semantics of hybrid Chi",

author = "R.R.H. Schiffelers and {Beek, van}, D.A. and K.L. Man and M.A. Reniers and J.E. Rooda",

year = "2004",

language = "English",

isbn = "3-540-21671-5",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "151--165",

editor = "K.G. Larsen and P. Niebert",

booktitle = "Formal Modeling and Analysis of Timed Systems (First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers)",

}

Formal semantics of hybrid Chi. / Schiffelers, R.R.H.; Beek, van, D.A.; Man, K.L. et al.
Formal Modeling and Analysis of Timed Systems (First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers). ed. / K.G. Larsen; P. Niebert. Berlin: Springer, 2004. p. 151-165 (Lecture Notes in Computer Science; Vol. 2791).

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

TY - GEN

T1 - Formal semantics of hybrid Chi

AU - Schiffelers, R.R.H.

AU - Beek, van, D.A.

AU - Man, K.L.

AU - Reniers, M.A.

AU - Rooda, J.E.

PY - 2004

Y1 - 2004

M3 - Conference contribution

SN - 3-540-21671-5

T3 - Lecture Notes in Computer Science

SP - 151

EP - 165

BT - Formal Modeling and Analysis of Timed Systems (First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers)

A2 - Larsen, K.G.

A2 - Niebert, P.

PB - Springer

CY - Berlin

ER -