@inproceedings{1855ff1f004e41169a6db3d740fcecc6,
title = "A Language for Modeling Network Availability",
author = "Luigia Petre and K Sere and M Wald{\'e}n",
year = "2006",
language = "Odefinierat/ok{\"a}nt",
pages = "–",
editor = "Z Liu and He J",
booktitle = "Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods (ICFEM 2006), Macao, China, November 1-3, 2006, Proceedings",
publisher = "Springer Berlin / Heidelberg",
note = "conference ; Conference date: 01-01-2010",
}