Paper published in a book (Scientific congresses, symposiums and conference proceedings)
On combining state space reductions with global fairness assumptions
Zhang, Shaojie; Sun, Jun; Pang, Jun et al.
2011In Proc. 17th International Symposium on Formal Methods
Peer reviewed
 

Files


Full Text
FM11.pdf
Author postprint (137.96 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Disciplines :
Computer science
Identifiers :
UNILU:UL-CONFERENCE-2012-002
Author, co-author :
Zhang, Shaojie;  National University of Singapore
Sun, Jun;  National University of Singapore
Pang, Jun  ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Liu, Yang;  National University of Singapore
Dong, Jinsong;  National University of Singapore
External co-authors :
yes
Language :
English
Title :
On combining state space reductions with global fairness assumptions
Publication date :
2011
Event name :
17th International Symposium on Formal Methods
Event place :
Limerick, Ireland
Event date :
2011
Audience :
International
Main work title :
Proc. 17th International Symposium on Formal Methods
Publisher :
Springer-Verlag
ISBN/EAN :
978-3-642-21436-3
Collection name :
Lecture Notes in Computer Science 6664
Pages :
432-447
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 22 April 2013

Statistics


Number of views
53 (0 by Unilu)
Number of downloads
55 (0 by Unilu)

Scopus citations®
 
3
Scopus citations®
without self-citations
1

Bibliography


Similar publications



Contact ORBilu