Control of modular and distributed discrete-event systems

J. Komenda, J.H. Schuppen

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

Original language	English
Title of host publication	Formal methods for components and objects (FMCO.2005)
Editors	F.S. de Boer, M.M. Bonsangue, S. Graf, W.-P. de Roever
Publisher	Springer
Pages	44-63
Publication status	Published - 2006

Name	LNCS

komenda:schuppen:2006:fmco

Access to Document

@inproceedings{661529efb42947d99701295c929c3857,

title = "Control of modular and distributed discrete-event systems",

author = "J. Komenda and J.H. Schuppen",

note = "komenda:schuppen:2006:fmco ",

year = "2006",

language = "English",

series = "LNCS",

publisher = "Springer",

pages = "44--63",

editor = "{de Boer}, F.S. and M.M. Bonsangue and S. Graf and {de Roever}, W.-P.",

booktitle = "Formal methods for components and objects (FMCO.2005)",

}

TY - GEN

T1 - Control of modular and distributed discrete-event systems

AU - Komenda, J.

AU - Schuppen, J.H.

N1 - komenda:schuppen:2006:fmco

PY - 2006

Y1 - 2006

M3 - Conference contribution

T3 - LNCS

SP - 44

EP - 63

BT - Formal methods for components and objects (FMCO.2005)

A2 - de Boer, F.S.

A2 - Bonsangue, M.M.

A2 - Graf, S.

A2 - de Roever, W.-P.

PB - Springer

ER -