Dettaglio pubblicazione
2003, IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'03),, Pages 62-78
Validation of the Sessionless Mode of the HTTPR Protocol (04a Atto di comunicazione a congresso)
Romano Paolo, Romero M, Ciciani Bruno, Quaglia Francesco
keywords