"A temporal Logic Approach to Specify and to Prove Properties of Finite ..."

Marco Danelutto, Andrea Masini (1988)
a service of Schloss Dagstuhl - Leibniz Center for Informatics