Set-based Analysis of Reactive Infinite-state Systems (1997)

Cached

Download Links

by Witold Charatonik , Andreas Podelski
Citations:27 - 8 self