Computing abstractions of infinite state systems compositionally and automatically (1998)

Cached

Download Links

by S. Bensalem , Y. Lakhnech , S. Owre
Venue:PROCEEDINGS OF CAV ’98
Citations:98 - 5 self