DMCA

Automatic Verification of the IEEE-1394 Root Contention Protocol with KRONOS and PRISM

by Conrado Daws , Marta Kwiatkowska , Gethin Norman
Venue:SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
Citations:27 - 10 self