DMCA

Using UPPAAL for the specification and verification of a lip-sync protocol (1998)

Cached

Download Links

by H. Bowman , G. Faconti , J-P. Katoen , D. Latella , M. Massink
Venue:CNR - Istituto CNUCE