PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Bolognesi T., Rudin H. On the Analysis of Time-dependent Protocols by Network-flow Algorithms. In: Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, pp. 491-513. Y. Yemini, R. Strom, S. Yemini (eds.). North-Holland, 1985. 1985.
 
 
Abstract
(English)
No abstract available
Subject



Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional