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

Research output: Contribution to journalArticle

Colleges, School and Institutes

Details

Original languageEnglish
Pages (from-to)295-318
Number of pages24
JournalFormal Aspects of Computing
Volume14
Publication statusPublished - 7 Apr 2003