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

FARN WANG2020-06-042020-06-042009https://scholars.lib.ntu.edu.tw/handle/123456789/497130Symbolic branching bisimulation-checking of dense-time systems in an environmentconference paper10.1007/978-3-642-00602-9_402-s2.0-67650135713https://www.scopus.com/inward/record.uri?eid=2-s2.0-67650135713&doi=10.1007%2f978-3-642-00602-9_40&partnerID=40&md5=d50b2af8c79cda1f8660409e49ffa5d4