Antonella Santone, Gigliola Vaglini. Conformance Checking using Formal Methods. In Leszek A. Maciaszek, Jorge Cardoso, André Ludwig, Marten van Sinderen, Enrique Cabello, editors, Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) - Volume 1: ICSOFT-EA, Lisbon, Portugal, July 24 - 26, 2016. pages 258-263, SciTePress, 2016. [doi]
@inproceedings{SantoneV16,
title = {Conformance Checking using Formal Methods},
author = {Antonella Santone and Gigliola Vaglini},
year = {2016},
doi = {10.5220/0005993402580263},
url = {http://dx.doi.org/10.5220/0005993402580263},
researchr = {https://researchr.org/publication/SantoneV16},
cites = {0},
citedby = {0},
pages = {258-263},
booktitle = {Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) - Volume 1: ICSOFT-EA, Lisbon, Portugal, July 24 - 26, 2016},
editor = {Leszek A. Maciaszek and Jorge Cardoso and André Ludwig and Marten van Sinderen and Enrique Cabello},
publisher = {SciTePress},
isbn = {978-989-758-194-6},
}