J. Esparza and C. Schröter.
Reachability Analysis Using Net Unfoldings.
In H. D. Burkhard, L. Czaja, A. Skowron, and P. Starke, editors, Workshop of Concurrency, Specification & Programming, volume II of Informatik-Bericht 140, pages 255-270. Humboldt-Universität zu Berlin, 2000. [gzipped Postscript ]

J. Esparza and C. Schröter.
Net reductions for LTL model-checking.
In Proc. of 11th CHARME, Livingston, Scotland, 2001. [gzipped Postscript ]

J. Esparza and C. Schröter.
Fundamenta Informaticae, 2002. [gzipped Postscript ]

C. Schröter, S. Schwoon, and J. Esparza.
The Model-Checking Kit.
In Proceedings of Toolsday-Workshop (satellite event of CONCUR'02), Report Series FIMU-RS-2002-05, pages 22-31, Masaryk University, Brno, 2002. [gzipped Postscript ]