G.J. Holzmann, D.A. Peled An Improvement in Formal Verification,
Proc. FORTE 1994. (PDF)
G.J. Holzmann, D.A. Peled, M. Yannakakis On nested depth-first search,
in The Spin Verification System, pp. 23-32, American Mathematical Society, 1996.
(Proc. of the 2nd Spin Workshop.) (PDF)
P. Gastin, D. Oddoux Fast LTL to Büchi Automata Translation,
Proc. CAV'01, LNCS 2102, p. 53-65. (PDf)
S. Demri, Ph. Schnoebelen The Complexity of Propositional Linear Temporal Logics in Simple CasesInformation and Computation 174(1), str. 84-103, 2002.
PDF
E. Clarke, O. Grumberg, D. Long Verification tools for finite-state concurrent systems
In: A Decade of concurrency--Reflections and Perspectives. LNCS 803, 1994.
M. Fujita, P.C. McGeer, J.C.-Y. Yang
Multi-Terminal Binary Decision Diagrams: An Efficient Data Structure
for Matrix Representation,
Formal Methods in System Design 10:149-169, 1997.
