Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}