Reference : On automatic verification of self-stabilizing population protocols
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/184
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, Zhengqin [Shanghai Jiaotong University]
Deng, Yuxin [Shanghai Jiaotong University]
2008
Proceedings of 2nd IEEE Symposium on Theoretical Aspects of Software Engineering (TASE'08)
IEEE Computer Society
185–192
Yes
No
International
2nd IEEE Symposium on Theoretical Aspects of Software Engineering
2008
Researchers ; Professionals ; Students
http://hdl.handle.net/10993/184

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
TASE08.pdfAuthor preprint212.18 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.