Verification of Probabilistic Systems: Concurrent Alternating Bit Protocol

S. Andova, T. Willemse

    Research output: Contribution to conferencePaperpeer-review

    20 Citations (Scopus)
    Original languageEnglish
    Publication statusPublished - 13 Dec 2003
    Event4th International Conference on Informatics and Information Technology, CIIT 2003 - Bitola, Macedonia, The Former Yugoslav Republic of
    Duration: 11 Dec 200314 Dec 2003
    Conference number: 4

    Conference

    Conference4th International Conference on Informatics and Information Technology, CIIT 2003
    Abbreviated titleCIIT
    CountryMacedonia, The Former Yugoslav Republic of
    CityBitola
    Period11/12/0314/12/03

    Keywords

    • METIS-216144

    Cite this