https://scholars.lib.ntu.edu.tw/handle/123456789/502443
標題: | A Taxonomy of Fairness and Temporal Logic Problems for Petri Nets. | 作者: | Howell, Rodney R. Rosier, Louis E. HSU-CHUN YEN |
公開日期: | 1988 | 卷: | 324 LNCS | 起(迄)頁: | 351-359 | 來源出版物: | Mathematical Foundations of Computer Science 1988, MFCS'88, Carlsbad, Czechoslovakia, August 29 - September 2, 1988, Proceedings | URI: | https://www.scopus.com/inward/record.uri?eid=2-s2.0-84915838553&doi=10.1007%2fBFb0017158&partnerID=40&md5=a9fae2bd2c87c0e1911b1d3e0b2a19e5 | DOI: | 10.1007/BFb0017158 |
顯示於: | 電機工程學系 |
在 IR 系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。