Hassen Saïdi
A Tool for Proving Invariance Properties of Concurrent Systems Automatically.
In Proceedings of 2nd International Workshop, Tools and Algorithms for the Construction and Analysis of Systems (TACAS), pages 412--416, Passau, Germany, March 1996. Lecture Notes in Computer Science 1055, Springer-Verlag.
Abstract
Tool Presentation.