https://scholars.lib.ntu.edu.tw/handle/123456789/501420
Title: | Modalities for Model Checking: Branching Time Strikes Back. | Authors: | Emerson, E. Allen Lei, Chin-Laung CHIN-LAUNG LEI |
Issue Date: | 1985 | Start page/Pages: | 84-96 | Source: | Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, New Orleans, Louisiana, USA, January 1985 | URI: | https://scholars.lib.ntu.edu.tw/handle/123456789/501420 | DOI: | 10.1145/318593.318620 |
Appears in Collections: | 電機工程學系 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.