![](/img/cover-not-exists.png)
[IEEE 2013 20th Asia-Pacific Software Engineering Conference (APSEC) - Bangkok (2013.12.2-2013.12.5)] 2013 20th Asia-Pacific Software Engineering Conference (APSEC) - Multi-core Model Checking Algorithms for LTL Verification with Fairness Assumptions
Ha, Xuan-Linh, Quan, Thanh-Tho, Liu, Yang, Sun, JunYear:
2013
Language:
english
DOI:
10.1109/APSEC.2013.79
File:
PDF, 320 KB
english, 2013