Tool presentation: Fast extended release (2006)

by S Bardin, J Leroux, G Point
Venue:In 18th Conf. Computer Aided Verification (CAV’2006