Bounded LTL Model Checking with Stable Models (2001)
AUTHORS:
Heljanko Keijo
,
Niemelä Ilkka
BOOKTITLE:
Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
PAGES:
200--212
@inproceedings{ HN2001:lpnmr, author = {Heljanko, Keijo and Niemel{\"a}, Ilkka}, publisher = "Springer-Verlag", title = "Bounded {LTL} Model Checking with Stable Models", booktitle = "Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning", address = "Vienna, Austria", month = "September", note = "", flags = "copy", year = "2001", organization = "", pages = "200--212" }