A Language for Modeling Network Availability

Luigia Petre, K Sere, M Waldén

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

7 Sitaatiot (Scopus)
AlkuperäiskieliEi tiedossa
OtsikkoFormal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods (ICFEM 2006), Macao, China, November 1-3, 2006, Proceedings
ToimittajatZ Liu, He J
KustantajaSpringer Berlin / Heidelberg
Sivut
TilaJulkaistu - 2006
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
Tapahtumaconference -
Kesto: 1 tammik. 2010 → …

Konferenssi

Konferenssiconference
Ajanjakso01/01/10 → …

Viittausmuodot