A Language for Modeling Network Availability

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

Original languageEnglish
Title of host publicationProceedings of the 8th International Conference on Formal Methods (ICFEM06)
PublisherSpringer
Pages639-659
Volume4260
Publication statusPublished - 2006
MoE publication typeA4 Article in a conference publication

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume4260

Cite this