@inproceedings{Aichernig2007a,
author = {Aichernig, Bernhard K. and Peischl, Bernhard and Weiglhofer, Martin
and Wotawa, Franz},
title = {{{Protocol Conformance Testing a SIP Registrar: an Industrial Application
of Formal Methods}}},
booktitle = {SEFM '07: Proceedings of the Fifth IEEE International Conference
on Software Engineering and Formal Methods},
year = {2007},
pages = {215--226},
address = {Washington, DC, USA},
publisher = {IEEE Computer Society},
doi = {10.1109/SEFM.2007.31},
isbn = {0-7695-2884-8},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{Aichernig2007,
author = {Aichernig, Bernhard K. and Weiglhofer, Martin and Peischl, Bernhard
and Wotawa, Franz},
title = {{{Test purpose generation in an industrial application}}},
booktitle = {A-MOST '07: Proceedings of the 3\textsuperscript{rd} international
workshop on Advances in model-based testing},
year = {2007},
pages = {115--125},
address = {New York, NY, USA},
publisher = {ACM},
doi = {10.1145/1291535.1291547},
isbn = {978-1-59593-850-3},
location = {London, United Kingdom},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@book{st08,
title = {{"MBS 2008 - Workshop on Model-Based Systems, 18th European Conference on Artificial Intelligence (ECAI)"}},
editor = {Bernhard Peischl and Neal Snooke and Gerald Steinbauer and Cees Witteveen},
year = {2008},
originalfile = {/gstein/gstein.bib}
}
This file was generated by bibtex2html 1.98.