DMCA

Verification of safety properties using integer programming: Beyond the state equation (1997)

Cached

Download Links

by Javier Esparza , Stephan Melzer , Joseph Sifakis
Citations:24 - 2 self