"Efficient Verification of Parallel Real-Time Systems."

Tomohiro Yoneda et al. (1993)
a service of Schloss Dagstuhl - Leibniz Center for Informatics