مؤتمر
Multi-core Model Checking Algorithms for LTL Verification with Fairness Assumptions
| العنوان: | Multi-core Model Checking Algorithms for LTL Verification with Fairness Assumptions |
|---|---|
| المؤلفون: | Ha, Xuan-Linh, Quan, Thanh-Tho, Liu, Yang, Sun, Jun |
| المصدر: | 2013 20th Asia-Pacific Software Engineering Conference (APSEC) Software Engineering Conference (APSEC), 2013 20th Asia-Pacific. 1:547-552 Dec, 2013 |
| Relation: | 2013 20th Asia-Pacific Software Engineering Conference (APSEC) |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | ردمك: | 9781479921430 9781479921447 |
|---|---|
| تدمد: | 15301362 |
| DOI: | 10.1109/APSEC.2013.79 |