DMCA

Experimenting Acceleration Methods for the Validation of Infinite State Systems (2000)

Cached

Download Links

by Jean-paul Bodeveix , Mamoun Filali , Irit Universite , Paul Sabatier
Venue:In International Workshop on Distributed System Validation and Verification (DSVV'2000
Citations:2 - 0 self