https://scholars.lib.ntu.edu.tw/handle/123456789/501400
Title: | Modalities for Model Checking: Branching Time Logic Strikes Back. | Authors: | Emerson, E. Allen CHIN-LAUNG LEI |
Issue Date: | 1987 | Journal Volume: | 8 | Journal Issue: | 3 | Start page/Pages: | 275-306 | Source: | Sci. Comput. Program. | URI: | https://scholars.lib.ntu.edu.tw/handle/123456789/501400 | DOI: | 10.1016/0167-6423(87)90036-0 |
Appears in Collections: | 電機工程學系 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.