Reference : Model Checking with Fairness Assumptions using PAT |
Scientific journals : Article | |||
Engineering, computing & technology : Computer science | |||
http://hdl.handle.net/10993/14957 | |||
Model Checking with Fairness Assumptions using PAT | |
English | |
Si, Yuanjie [] | |
Sun, Jun [] | |
Liu, Yang [] | |
Dong, Jin Song [] | |
Pang, Jun ![]() | |
Zhang, Shaojie [] | |
Yang, Xiaohu [] | |
2014 | |
Frontiers of Computer Science | |
Springer | |
8 | |
1 | |
1-16 | |
Yes | |
International | |
Researchers ; Professionals ; Students ; General public | |
http://hdl.handle.net/10993/14957 |
File(s) associated to this reference | ||||||||||||||
Fulltext file(s):
| ||||||||||||||
All documents in ORBilu are protected by a user license.