An Improvement of McMillan's Unfolding Algorithm (1996)

Cached

Download Links

by Javier Esparza , Stefan Römer , Walter Vogler
Venue:Formal Methods in System Design
Citations:178 - 9 self