Verification of Probabilistic Systems: Concurrent Alternating Bit Protocol

S. Andova, T. Willemse

Research output: Contribution to conference › Paper › peer-review

Original language	English
Publication status	Published - 13 Dec 2003
Event	4th International Conference on Informatics and Information Technology, CIIT 2003 - Bitola, Macedonia, The Former Yugoslav Republic of Duration: 11 Dec 2003 → 14 Dec 2003 Conference number: 4

Conference	4th International Conference on Informatics and Information Technology, CIIT 2003
Abbreviated title	CIIT
Country/Territory	Macedonia, The Former Yugoslav Republic of
City	Bitola
Period	11/12/03 → 14/12/03

Cite this

@conference{c73f0d21caa54dfba22ab81fe7dba874,

title = "Verification of Probabilistic Systems: Concurrent Alternating Bit Protocol",

author = "S. Andova and T. Willemse",

year = "2003",

month = dec,

day = "13",

language = "English",

note = "4th International Conference on Informatics and Information Technology, CIIT 2003, CIIT ; Conference date: 11-12-2003 Through 14-12-2003",

}