How to manage coverability graphs construction: an overview

C. Coves, Didier Crestani, François Prunet. How to manage coverability graphs construction: an overview. In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, SMC 1998, Hyatt Regency La Jolla, San Diego, California, USA, October 11-14,1998. pages 541-546, IEEE, 1998. [doi]

Abstract

Abstract is missing.