Maurice H. ter Beek, Stefania Gnesi, Nora Koch, Franco Mazzanti. Formal verification of an automotive scenario in service-oriented computing. In Wilhelm Schäfer, Matthew B. Dwyer, Volker Gruhn, editors, 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008. pages 613-622, ACM, 2008. [doi]
@inproceedings{BeekGKM08, title = {Formal verification of an automotive scenario in service-oriented computing}, author = {Maurice H. ter Beek and Stefania Gnesi and Nora Koch and Franco Mazzanti}, year = {2008}, doi = {10.1145/1368088.1368173}, url = {http://doi.acm.org/10.1145/1368088.1368173}, researchr = {https://researchr.org/publication/BeekGKM08}, cites = {0}, citedby = {0}, pages = {613-622}, booktitle = {30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008}, editor = {Wilhelm Schäfer and Matthew B. Dwyer and Volker Gruhn}, publisher = {ACM}, isbn = {978-1-60558-079-1}, }