DMCA

Heuristics for Hierarchical Partitioning with Application to Model Checking (2000)

by M. Oliver Möller , Rajeev Alur
Venue:Department of Computer Science, University of Aarhus
Citations:2 - 0 self