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

C Daws, Marta Kwiatkowska, Gethin Norman

Research output: Contribution to conference (unpublished) › Paper

Original language	English
Publication status	Published - 1 Jan 2002
Event	Proceedings of the 7th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'02) - Duration: 1 Jan 2002 → …

Conference	Proceedings of the 7th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'02)
Period	1/01/02 → …

Cite this

@conference{32e411350948491da2c6d2cb1c551a7d,

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

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

year = "2002",

month = jan,

day = "1",

language = "English",

note = "Proceedings of the 7th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'02) ; Conference date: 01-01-2002",

}