Generalizing Action Systems to Hybrid Systems

Research output: Chapter in Book/Conference proceeding › Published conference proceeding › Scientific › peer-review

22 Citations (Scopus)

Original language	Undefined/Unknown
Title of host publication	6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'2000
Editors	M Joseph
Publisher	Springer-Verlag
Pages	202–213
Publication status	Published - 2000
MoE publication type	A4 Article in a conference publication
Event	conference - Duration: 1 Jan 2010 → …

Conference	conference
Period	01/01/10 → …

Cite this

@inproceedings{d1ea5f99f8404cb98b51d1d4b67e813e,

title = "Generalizing Action Systems to Hybrid Systems",

author = "Ralph-Johan Back and Luigia Petre and \{Porres Paltor\}, Ivan",

year = "2000",

language = "Odefinierat/ok{\"a}nt",

pages = "202–213",

editor = "M Joseph",

booktitle = "6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'2000",

publisher = "Springer-Verlag",

note = "conference ; Conference date: 01-01-2010",

}

Generalizing Action Systems to Hybrid Systems. / Back, Ralph-Johan; Petre, Luigia ; Porres Paltor, Ivan.
6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'2000. ed. / M Joseph. Springer-Verlag, 2000. p. 202–213.

Research output: Chapter in Book/Conference proceeding › Published conference proceeding › Scientific › peer-review

TY - GEN

T1 - Generalizing Action Systems to Hybrid Systems

AU - Back, Ralph-Johan

AU - Petre, Luigia

AU - Porres Paltor, Ivan

PY - 2000

Y1 - 2000

M3 - Publicerad konferensartikel

SP - 202

EP - 213

BT - 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'2000

A2 - Joseph, M

PB - Springer-Verlag

T2 - conference

Y2 - 1 January 2010

ER -