Möller MO, Alur R. Heuristics for Hierarchical Partitioning with Application to Model Checking. BRICS [Internet]. 1. august 2000 [henvist 13. oktober 2026];7(21). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/20148