Heuristics for hierarchical partitioning with applications to model checking. In (2001)

by BOSNACKI BASTEN, GEILEN Moller, M, R Alur
Venue:Correct Hardware Design and Verification Methods, 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Proceedings, Lecture Notes in Computer Science