Treffer: Verifying Self-stabilizing Population Protocols with Coq
Title:
Verifying Self-stabilizing Population Protocols with Coq
Authors:
Source:
2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering Theoretical Aspects of Software Engineering, 2009. TASE 2009. Third IEEE International Symposium on. :201-208 Jul, 2009
Relation:
2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE)
Database:
IEEE Xplore Digital Library