A bounded retransmission protocol for large data packets - a case study in computer checked algebraic verification -

1996

Presented at the International Workshop on Parallel and Distributed Methods in Verification, Munich, Germany

Additional Metadata
Publisher	Springer
Series	Lecture Notes in Computer Science
Conference	International Workshop on Parallel and Distributed Methods in Verification
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Groote, J. F., & van de Pol, J. (1996). A bounded retransmission protocol for large data packets - a case study in computer checked algebraic verification -. In Proceedings of Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96 (pp. 536–550). Springer.

Publication