Probabilistic Model Checking of Deadline Properties in the IEEE 1394 FireWire Root Contention Protocol

Marta Kwiatkowska, Gethin Norman, Jeremy Sproston

Research output: Contribution to journal › Article

55 Citations (Scopus)

Access to Document

@article{67da317b5f0e4d058ce5b0b8aee9ddd0,

title = "Probabilistic Model Checking of Deadline Properties in the IEEE 1394 FireWire Root Contention Protocol",

author = "Marta Kwiatkowska and Gethin Norman and Jeremy Sproston",

year = "2003",

month = apr,

day = "7",

doi = "10.1007/s001650300007",

language = "English",

volume = "14",

pages = "295--318",

journal = "Formal Aspects of Computing",

issn = "1433-299X",

publisher = "Springer",

}

TY - JOUR

T1 - Probabilistic Model Checking of Deadline Properties in the IEEE 1394 FireWire Root Contention Protocol

AU - Kwiatkowska, Marta

AU - Norman, Gethin

AU - Sproston, Jeremy

PY - 2003/4/7

Y1 - 2003/4/7

UR - http://www.scopus.com/inward/record.url?scp=0038413979&partnerID=8YFLogxK

U2 - 10.1007/s001650300007

DO - 10.1007/s001650300007

M3 - Article

SN - 1433-299X

VL - 14

SP - 295

EP - 318

JO - Formal Aspects of Computing

JF - Formal Aspects of Computing

ER -