Treffer: Formal Verification of Netlog Protocols
Title:
Formal Verification of Netlog Protocols
Authors:
Source:
2012 Sixth International Symposium on Theoretical Aspects of Software Engineering Theoretical Aspects of Software Engineering (TASE), 2012 Sixth International Symposium on. :43-50 Jul, 2012
Relation:
2012 Sixth International Symposium on Theoretical Aspects of Software Engineering (TASE)
Database:
IEEE Xplore Digital Library