Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM

C Daws, Marta Kwiatkowska, Gethin Norman

Research output: Contribution to journal › Article

Original language	English
Pages (from-to)	221-236
Number of pages	16
Journal	International Journal on Software Tools for Technology Transfer
Volume	5
Issue number	2-3
DOIs	https://doi.org/10.1007/s10009-003-0118-5
Publication status	Published - 1 Jan 2004

Access to Document

@article{cb8a00942d284b76a334f77f18a6bf20,

title = "Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM",

author = "C Daws and Marta Kwiatkowska and Gethin Norman",

year = "2004",

month = jan,

day = "1",

doi = "10.1007/s10009-003-0118-5",

language = "English",

volume = "5",

pages = "221--236",

journal = "International Journal on Software Tools for Technology Transfer",

issn = "1433-2779",

publisher = "Springer",

number = "2-3",

}

TY - JOUR

T1 - Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM

AU - Daws, C

AU - Kwiatkowska, Marta

AU - Norman, Gethin

PY - 2004/1/1

Y1 - 2004/1/1

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

U2 - 10.1007/s10009-003-0118-5

DO - 10.1007/s10009-003-0118-5

M3 - Article

SN - 1433-2779

VL - 5

SP - 221

EP - 236

JO - International Journal on Software Tools for Technology Transfer

JF - International Journal on Software Tools for Technology Transfer

IS - 2-3

ER -