TY  - RPRT
TI  - SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability
AU  - Marcello M. Bersani
AU  - Luca Cavallaro
AU  - Achille Frigeri
AU  - Matteo Pradella
AU  - Matteo Rossi
PY  - 2010
UR  - https://arxiv.org/abs/1004.2873
ID  - 1004.2873
ER  -