https://scholars.lib.ntu.edu.tw/handle/123456789/457439
Title: | Assumption/guarantee specifications in linear-time temporal logic | Authors: | Jonsson, B YIH-KUEN TSAY |
Issue Date: | 1995 | Journal Volume: | 915 | Start page/Pages: | 262-276 | 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/457439 | DOI: | 10.1007/3-540-59293-8_200 |
Appears in Collections: | 資訊管理學系 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.