"Symbolic Branching Bisimulation-Checking of Dense-Time Systems in an ..."

Farn Wang (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics