"Verification of Reactive Systems Using DisCo and PVS."

Pertti Kellomäki (1997)
a service of Schloss Dagstuhl - Leibniz Center for Informatics