Jean-CLaude Fernandez, Claude Jard, Thierry Jéron, Laurent Mounier. `On the Fly'' Verification of Finite Transition Systems. Formal Methods in System Design, 1992.
Download paper:
Adobe portable document (pdf)
Copyright notice:
[ Model-based verification techniques ]
@article{Fernandez-Jard-Jeron-Mounier-92,
Author = {Fernandez, Jean-CLaude and Jard, Claude and Jéron, Thierry and Mounier, Laurent},
Title = {`On the Fly'' Verification of Finite Transition Systems},
Journal = {Formal Methods in System Design},
Year = {1992}
}
Get EndNote Reference (.ref)