Sharing Trees for "on-the-fly" Verification

Authors:
Francois Gagnon;Jean-Charles Gregoire;D. Zampuniéris
Affiliations:
-;-;-
Venue:
Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques VIII
Year:
1995

Symbolic Representation of Upward-Closed Sets

TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets

TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems

Hi-index	0.00