Verification Techniques for Elementary Data Types and Retransmission Protocols

Authors
  • J.J. van Wamel
Supervisors
Publication date 1995
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type PhD thesis
Note Research conducted at: uva
Permalink to this page
Back