Implementing LTL Model Checking with Net Unfoldings

Javier Esparza, Keijo Heljanko. Implementing LTL Model Checking with Net Unfoldings. In Matthew B. Dwyer, editor, Model Checking Software, 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001, Proceedings. Volume 2057 of Lecture Notes in Computer Science, pages 37-56, Springer, 2001. [doi]

Abstract

Abstract is missing.