Regular Model Checking made Simple and Efficient

Cached

Download Links

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