Symbolic branching bisimulation-checking of dense-time systems in an environment

Journal

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Journal Volume

5469

Pages

485-489

Date Issued

2009

Author(s)

DOI

URI

URL

Type

conference paper