Formal modeling and analysis of a distributed transaction protocol in UPPAAL

O. Al-Bataineh, Tim French, Terry Woodings

    Research output: Chapter in Book/Conference paperConference paper

    3 Citations (Scopus)
    Original languageEnglish
    Title of host publication19th International Symposium on Temporal Representation and Reasoning, TIME 2012
    Place of PublicationUnited Kingdom
    PublisherIEEE, Institute of Electrical and Electronics Engineers
    Pages65-72
    Volume1
    ISBN (Print)9780769548029
    DOIs
    Publication statusPublished - 2012
    Event19th International Symposium on Temporal Representation and Reasoning - Leicester, United Kingdom
    Duration: 12 Sep 201214 Sep 2012
    Conference number: 19

    Conference

    Conference19th International Symposium on Temporal Representation and Reasoning
    Abbreviated titleTIME 2012
    CountryUnited Kingdom
    CityLeicester
    Period12/09/1214/09/12

    Cite this