A Language for Modeling Network Availability

Luigia Petre, K Sere, M Waldén

Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

7 Citations (Scopus)
Original languageUndefined/Unknown
Title of host publicationFormal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods (ICFEM 2006), Macao, China, November 1-3, 2006, Proceedings
EditorsZ Liu, He J
PublisherSpringer Berlin / Heidelberg
Publication statusPublished - 2006
MoE publication typeA4 Article in a conference publication
Eventconference -
Duration: 1 Jan 2010 → …


Period01/01/10 → …

Cite this