@inproceedings{08cc9ee90a684a63b0317346dca7bea7,
title = "Implementing LTL Model Checking with Net Unfoldings",
keywords = "LTL, model checking, net unfoldings, Petri nets, tableau systems, LTL, model checking, net unfoldings, Petri nets, tableau systems, LTL, model checking, net unfoldings, Petri nets, tableau systems",
author = "Javier Esparza and Keijo Heljanko",
year = "2001",
language = "English",
pages = "37--56",
editor = "M.B. Dwyer",
booktitle = "8th International SPIN Workshop on Model Checking of Software, Toronto, Canada, May 19-20, 2001",
}