Regular Model Checking made Simple and Efficient

Cached

Download Links

by Parosh Aziz Abdulla , Bengt Jonsson , Marcus Nilsson , Julien d'Orso
Citations:22 - 12 self