Back
  1. Home
  3. Detailled Reference
Download
Article (Scientific journals)
Model Checking with Fairness Assumptions using PAT
Si, Yuanjie; Sun, Jun; Liu, Yang et al.
2014 • In Frontiers of Computer Science, 8 (1), p. 1-16
Peer reviewed
Permalink
https://hdl.handle.net/10993/14957
DOI
10.1007/s11704-013-3091-5
 

Files (1)Send toDetailsStatisticsBibliographySimilar publications

Files

Full Text
FCS14.pdf
Publisher postprint (755.96 kB)
Download

All documents in ORBilu are protected by a user license.

Send to


Details


Disciplines :
Computer science
Author, co-author :
Si, Yuanjie
Sun, Jun
Liu, Yang
Dong, Jin Song
Pang, Jun  ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Zhang, Shaojie
Yang, Xiaohu
External co-authors :
yes
Language :
English
Title :
Model Checking with Fairness Assumptions using PAT
Publication date :
2014
Journal title :
Frontiers of Computer Science
Publisher :
Springer
Volume :
8
Issue :
1
Pages :
1-16
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 15 January 2014

Statistics

Number of views
124 (5 by Unilu)
Number of downloads
213 (0 by Unilu)
More statistics
Scopus citations®
 
33
Scopus citations®
without self-citations
33
OpenCitations
 
30
WoS citations™
 
28

Bibliography

Similar publications


Contact ORBilu