M. Migliorati

Bibliography

Ciapessoni, E., Corsetti, E., Crivelli, E. and Migliorati, M. 1994. “Checking Satisfiability of Trio\(_\neq\) Specifications.” in Temporal Logic. Proceedings of the ICTL Workshop, edited by Hans Jürgen Ohlbach, pp. 110–115. Saarbrücken: Max-Planck-Institut für Informatik.