Dynamic Transition Relation Simplification for Bounded Property Checking (2004)

Cached

Download Links

by Andreas Kuehlmann
Citations:40 - 2 self