https://scholars.lib.ntu.edu.tw/handle/123456789/317816
Title: | Symbolic Verification of Distributed Real-Time Systems with Complex Synchronizations | Authors: | F. Wang FARN WANG |
Issue Date: | Nov-2005 | Start page/Pages: | 300-314 | Source: | 7'th ICFEM (International Conference on Formal Engineering Methods) | URI: | http://scholars.lib.ntu.edu.tw/handle/123456789/317816 | DOI: | 10.1007/11576280_21 |
Appears in Collections: | 電機工程學系 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.