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 2020-31-03 at 05:07