Searching for "Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Automatic Verification of the IEEE-1394 Root Contention Protocol with KRONOS and PRISM
by Conrado Daws, Marta Kwiatkowska, Gethin Norman — 2002
…://www.elsevier.nl/locate/entcs/volume66.html 16 pages Automatic Verication of the IEEE-1394 Root Contention Protocol with KRONOS and PRISM…
Cited by 18 (8 self) – Add To MetaCart

Universidad de Málaga Local Organizing Commitee:
by Rance Cleavel, Hubert Garavel (eds, María Del Mar Gallardo, Pablo López, Jesús Martínez, Pedro Merino Foreword — 2002
…. Simonot, V. Donzeau-Gouge Automatic Verification of the IEEE-1394 Root Contention Protocol with KRONOS…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB