A Language for Modeling Network Availability

A4 Konferenspublikationer


Interna författare/redaktörer


Publikationens författare: Petre L, Sere K, Waldén M
Redaktörer: Liu Z, He J
Förläggare: Springer Berlin / Heidelberg
Publiceringsår: 2006
Moderpublikationens namn: Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods (ICFEM 2006), Macao, China, November 1-3, 2006, Proceedings
Seriens namn: Lecture Notes in Computer Science
Volym: 4260

Senast uppdaterad 2019-21-09 vid 02:52