@inproceedings{3f46b841f04b42419fe0fdba58cb84de,
title = "Incremental and Complete Bounded Model Checking for Full PLTL",
keywords = "bounded model checking, incremental satisfiability checking, linear time temporal logic, model checking, propositional satisfiability, verification, bounded model checking, incremental satisfiability checking, linear time temporal logic, model checking, propositional satisfiability, verification, bounded model checking, incremental satisfiability checking, linear time temporal logic, model checking, propositional satisfiability, verification",
author = "Keijo Heljanko and Tommi Junttila and TImo Latvala",
year = "2005",
language = "English",
pages = "98--111",
editor = "Kousha Etessami and Rajamani, {Sriram K.}",
booktitle = "Computer Aided Verification 2005, Edinburgh,UK, 6-10.7.2005",
publisher = "Springer",
address = "Germany",
}