An improvement of McMillan's unfolding algorithm

This publication has 8 references indexed in Scilit:

• Verification of the speed-independent circuits by STG unfoldings
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Trace theoretic verification of asynchronous circuits using unfoldings
  Published by Springer Nature ,1995
• A technique of state space search based on unfolding
  Formal Methods in System Design, 1995
• Model checking using net unfoldings
  Science of Computer Programming, 1994
• Branching processes of Petri nets
  Acta Informatica, 1991
• Combinatorics on Traces
  Published by Springer Nature ,1990
• Petri Nets
  Published by Springer Nature ,1988
• Petri nets, event structures and domains, part I
  Theoretical Computer Science, 1981