A Language for Modeling Network Availability

Luigia Petre, K Sere, M Waldén

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

6 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
Pages
Publication statusPublished - 2006
MoE publication typeA4 Article in a conference publication
Eventconference -
Duration: 1 Jan 2010 → …

Conference

Conferenceconference
Period01/01/10 → …

Cite this