Regular Model Checking without Transducers (On Efficient Verification of Parameterized Systems) (2006)

Cached

Download Links

by Parosh Aziz Abdulla, et al.
Citations:43 - 18 self