|
|||||
|
|
Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs (MDGs) |
|
| Authors: | Xu, Ying Song, Xiaoyu Cerny, Eduard Mohamed, Otmane Ait |
| Affiliation: | 1 Nortel Networks, Ottawa, Canada 2 Department of ECE, Portland State University, Portland, OR, USA 3 D'IRO, Université de Montreal, Montreal, Canada 4 Department of ECE, University of Concordia, Montreal, Canada |
| Abstract: | |
| Keywords: | |
| 本文献已被 Oxford 等数据库收录！ | |