Formal Methods for Distributed System Development || Verification of a Sliding Window Protocol Using IOA and MONA
Bolognesi, Tommaso, Latella, DiegoVolume:
10.1007/97
Year:
2000
Language:
english
DOI:
10.1007/978-0-387-35533-7_2
File:
PDF, 1.67 MB
english, 2000