https://scholars.lib.ntu.edu.tw/handle/123456789/497130
Title: | Symbolic branching bisimulation-checking of dense-time systems in an environment | Authors: | FARN WANG | Issue Date: | 2009 | Journal Volume: | 5469 | Start page/Pages: | 485-489 | Source: | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | URI: | https://scholars.lib.ntu.edu.tw/handle/123456789/497130 | DOI: | 10.1007/978-3-642-00602-9_40 |
Appears in Collections: | 電機工程學系 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.