Reference : On automatic verification of self-stabilizing population protocols
Scientific journals : Article
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/183
On automatic verification of self-stabilizing population protocols
English
Pang, Jun mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Luo, Z. [> >]
Deng, Y. [> >]
2008
Frontiers of Computer Science in China
Higher Education Press and Springer
2
4
357–367
Yes (verified by ORBilu)
1673-7350
1673-7466
Beijing
China
http://hdl.handle.net/10993/183

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
FCS08.pdfAuthor preprint159.48 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.