DMCA

Parameterized verification of infinite-state processes with global conditions

by Parosh Aziz Abdulla , Giorgio Delzanno , Ahmed Rezine
Venue:In Proc. 19�Int. Conf. on Computer Aided Verification
Citations:41 - 11 self