Verification of safety properties for parameterized regular systems (2005)

Cached

Download Links

by David Cachera , Katell Morin-Allory
Citations:3 - 0 self