Paper published in a journal (Scientific congresses, symposiums and conference proceedings)
Model checking round-based distributed algorithms
An, X.; Pang, Jun
2010In Proceedings of 15th IEEE International Conference on Engineering of Complex Computer Systems, p. 127-135
Peer reviewed
 

Files


Full Text
ICECCS10.pdf
Publisher postprint (130.27 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Disciplines :
Computer science
Identifiers :
UNILU:UL-CONFERENCE-2010-170
Author, co-author :
An, X.
Pang, Jun  ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
External co-authors :
yes
Language :
English
Title :
Model checking round-based distributed algorithms
Publication date :
2010
Event name :
15th IEEE International Conference on Engineering of Complex Computer Systems
Event date :
2010
Journal title :
Proceedings of 15th IEEE International Conference on Engineering of Complex Computer Systems
Publisher :
IEEE Computer Society
Pages :
127-135
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 22 April 2013

Statistics


Number of views
45 (2 by Unilu)
Number of downloads
112 (0 by Unilu)

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

Bibliography


Similar publications



Contact ORBilu