Reference : On automatic verification of self-stabilizing population protocols
Document type : Scientific journals : Article
Discipline(s) : Engineering, computing & technology : Computer science To cite this reference: http://hdl.handle.net/10993/183
Title : On automatic verification of self-stabilizing population protocols
Language : English
Author, co-author : Pang, Jun [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Luo, Z. [> >]
Deng, Y. [> >]
Publication date : 2008
Journal title : Frontiers of Computer Science in China
Publisher : Higher Education Press and Springer
Volume : 2
Issue/season : 4
Pages : 357–367
Peer reviewed : Yes
Audience : International
ISSN : 1673-7350
e-ISSN : 1673-7466
City : Beijing
Country : China
Target : Researchers
Permalink : http://hdl.handle.net/10993/183
File(s) associated to this reference
Fulltext file(s):
All documents in ORBilu are protected by a user license .