Generalizing Action Systems to Hybrid Systems

Ralph-Johan Back, Luigia Petre, Ivan Porres Paltor

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

19 Sitaatiot (Scopus)
AlkuperäiskieliEi tiedossa
Otsikko6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'2000
ToimittajatM Joseph
KustantajaSpringer-Verlag
Sivut202–213
TilaJulkaistu - 2000
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
Tapahtumaconference -
Kesto: 1 tammikuuta 2010 → …

Konferenssi

Konferenssiconference
Ajanjakso01/01/10 → …

Viittausmuodot