Generalizing Action Systems to Hybrid Systems

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

22 Sitaatiot (Scopus)

Alkuperäiskieli	Ei tiedossa
Otsikko	6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'2000
Toimittajat	M Joseph
Kustantaja	Springer-Verlag
Sivut	202–213
Tila	Julkaistu - 2000
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa
Tapahtuma	conference - Kesto: 1 tammik. 2010 → …

Konferenssi	conference
Ajanjakso	01/01/10 → …

Viittausmuodot

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

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

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 -