@inproceedings{dfffd21c914c4cd096627df5e4f52dc4,
title = "Protocol Conformance Testing a SIP Registrar: An Industrial Application of Formal Methods",
author = "Bernhard Aichernig and Bernhard Peischl and Martin Weiglhofer and Franz Wotawa",
year = "2007",
language = "English",
pages = "215--224",
booktitle = "Proceedings of the 5th International Conference on Software Engineering and Formal Methods",
publisher = "IEEE",
address = "United States",
note = "5th International Conference on Software Engineering and Formal Methods : SEFM 2007 ; Conference date: 10-09-2007 Through 14-09-2007",
}