Reference : Verification of population ring protocols in PAT
Scientific congresses, symposiums and conference proceedings : Paper published in a journal
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/185
Verification of population ring protocols in PAT
English
Liu, Y. [> >]
Pang, Jun mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Sun, J. [> >]
Zhao, J. [> >]
2009
Proc. 3rd IEEE Symposium on Theoretical Aspects of Software Engineering
IEEE Computer Society
81–89
Yes
International
Proc. 3rd IEEE Symposium on Theoretical Aspects of Software Engineering
2009
Researchers ; Professionals ; Students
http://hdl.handle.net/10993/185

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
TASE09.pdfAuthor preprint113.99 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.