A Language for Modeling Network Availability

A4 Conference proceedings


Internal Authors/Editors


Publication Details

List of Authors: Petre L, Sere K, Waldén M
Editors: Liu Z, He J
Publisher: Springer Berlin / Heidelberg
Publication year: 2006
Book title: Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods (ICFEM 2006), Macao, China, November 1-3, 2006, Proceedings
Title of series: Lecture Notes in Computer Science
Volume number: 4260

Last updated on 2019-20-08 at 05:04