A Language for Modeling Network Availability

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

Original language	English
Title of host publication	Proceedings of the 8th International Conference on Formal Methods (ICFEM06)
Publisher	Springer
Pages	639-659
Volume	4260
Publication status	Published - 2006
MoE publication type	A4 Article in a conference publication

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	4260

Cite this

@inproceedings{0cdc08c3cfab4526a4a3e25cea3279fb,

title = "A Language for Modeling Network Availability",

author = "Luigia Petre and Kaisa Sere and Marina Walden",

year = "2006",

language = "English",

volume = "4260",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "639--659",

booktitle = "Proceedings of the 8th International Conference on Formal Methods (ICFEM06)",

}