@techreport{041e5e3d47f3418da2350698801d4e39,
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",
series = "Helsinki University of Technology, Laboratory for Theoretical Computer Science, Research Reports",
publisher = "Helsinki University of Technology, Laboratory for Theoretical Computer Science",
number = "HUT-TCS-A68",
pages = "29",
type = "WorkingPaper",
institution = "Helsinki University of Technology, Laboratory for Theoretical Computer Science",
}