https://scholars.lib.ntu.edu.tw/handle/123456789/497141
Title: | Symbolic Model Checking for Distributed Real-Time Systems. | Authors: | Wang, Farn Mok, Aloysius K. Emerson, E. Allen FARN WANG |
Issue Date: | 1993 | Start page/Pages: | 632-651 | Source: | FME '93: Industrial-Strength Formal Methods, First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993, Proceedings | URI: | https://scholars.lib.ntu.edu.tw/handle/123456789/497141 | DOI: | 10.1007/BFb0024671 |
Appears in Collections: | 電機工程學系 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.