Formal methods for specification and development of communication protocols
•
DEOTTO L.
2002
Periodico
IEEE COMMUNICATIONS SURVEYS AND TUTORIALS
DOI
Archivio
Diritti
metadata only access
Soggetti