Sebastian Vastag. ProC/B for Networks: Integrated INET Models. In Bruno Müller-Clostermann, Klaus Echtle, Erwin P. Rathgeb, editors, Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, 15th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March 15-17, 2010. Proceedings. Volume 5987 of Lecture Notes in Computer Science, pages 315-318, Springer, 2010. [doi]
@inproceedings{Vastag10,
title = {ProC/B for Networks: Integrated INET Models},
author = {Sebastian Vastag},
year = {2010},
doi = {10.1007/978-3-642-12104-3_26},
url = {http://dx.doi.org/10.1007/978-3-642-12104-3_26},
researchr = {https://researchr.org/publication/Vastag10},
cites = {0},
citedby = {0},
pages = {315-318},
booktitle = {Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, 15th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March 15-17, 2010. Proceedings},
editor = {Bruno Müller-Clostermann and Klaus Echtle and Erwin P. Rathgeb},
volume = {5987},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-12103-6},
}