%0 Conference Paper %1 conf/sefm/BersaniCFPR10 %A Bersani, Marcello M. %A Cavallaro, Luca %A Frigeri, Achille %A Pradella, Matteo %A Rossi, Matteo %B SEFM %D 2010 %E Fiadeiro, José Luiz %E Gnesi, Stefania %E Maggiolo-Schettini, Andrea %I IEEE Computer Society %K dblp %P 244-254 %T SMT-based Verification of LTL Specification with Integer Constraints and its Application to Runtime Checking of Service Substitutability. %U http://dblp.uni-trier.de/db/conf/sefm/sefm2010.html#BersaniCFPR10 %@ 978-0-7695-4153-2

@inproceedings{conf/sefm/BersaniCFPR10, added-at = {2023-04-17T00:00:00.000+0200}, author = {Bersani, Marcello M. and Cavallaro, Luca and Frigeri, Achille and Pradella, Matteo and Rossi, Matteo}, biburl = {https://www.bibsonomy.org/bibtex/2801cbf88f0bc64253327944af1ea2dd5/dblp}, booktitle = {SEFM}, crossref = {conf/sefm/2010}, editor = {Fiadeiro, José Luiz and Gnesi, Stefania and Maggiolo-Schettini, Andrea}, ee = {https://doi.ieeecomputersociety.org/10.1109/SEFM.2010.37}, interhash = {7c8c61e751fc8f813d880e623b6e125a}, intrahash = {801cbf88f0bc64253327944af1ea2dd5}, isbn = {978-0-7695-4153-2}, keywords = {dblp}, pages = {244-254}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T19:21:38.000+0200}, title = {SMT-based Verification of LTL Specification with Integer Constraints and its Application to Runtime Checking of Service Substitutability.}, url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2010.html#BersaniCFPR10}, year = 2010 }