Year of Publication
2009
Type
Conference Proceedings
Published in
Publication Title
Verification of Liveness Properties in Distributed Systems
Status
International
Page Numbers
625-636
ISBN/ISSN
1865-0929
Status of Paper
Published
Nature
SCOPUS
Publisher
Refereed/Peer Reviewed
Peer Reviewed
Month of Publication
Aug