Using Parametric Automata for the Verification of the Stop-and-Wait Class of Protocols.

Guy Edward Gallasch, Jonathan Billington

Browse the full ATVA paper archive.