Automatic Parametric Verification of a Root Contention Protocol Based on Abstract State Machines and First Order Timed Logic.

Danile Beauquier, Tristan Crolard, Evguenia Prokofieva

Browse the full TACAS paper archive.