@inproceedings{CAV-2003-MouraRS,
author = "Leonardo Mendonça de Moura and Harald Rueß and Maria Sorea",
booktitle = "{Proceedings of the 15th International Conference on Computer Aided Verification}",
doi = "10.1007/978-3-540-45069-6_2",
isbn = "3-540-40524-0",
pages = "14--26",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Bounded Model Checking and Induction: From Refutation to Verification (Extended Abstract, Category A)}",
volume = 2725,
year = 2003,
}
Tags: