Generalizing Action Systems to Hybrid Systems

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

22 Citeringar (Scopus)

Originalspråk	Odefinierat/okänt
Titel på värdpublikation	6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'2000
Redaktörer	M Joseph
Förlag	Springer-Verlag
Sidor	202–213
Status	Publicerad - 2000
MoE-publikationstyp	A4 Artikel i en konferenspublikation
Evenemang	conference - Varaktighet: 1 jan. 2010 → …

Konferens	conference
Period	01/01/10 → …

Citera det här

@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. red. / M Joseph. Springer-Verlag, 2000. s. 202–213.

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › 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 -