Marco Benedetti, Alessandro Cimatti
Bounded Model Checking for Past LTL
TACAS, 2003.
@inproceedings{TACAS-2003-BenedettiC,
author = "Marco Benedetti and Alessandro Cimatti",
booktitle = "{Proceedings of the Ninth International Conference on Tools and Algorithms for the Construction and Analysis of Systems}",
doi = "10.1007/3-540-36577-X_3",
isbn = "3-540-00898-5",
pages = "18--33",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Bounded Model Checking for Past LTL}",
volume = 2619,
year = 2003,
}
Tags: