| Originalsprog | Engelsk |
|---|
| Udgivelsessted | Aahus : Department of Computer Science |
|---|---|
| Forlag | University of Aarhus |
| Status | Udgivet - 2000 |
| Navn | B R I C S Report Series |
|---|---|
| Nummer | RS-00-21 |
| ISSN | 0909-0878 |
Heuristics for Hierarchical Partitioning with Application to Model Checking
O. M. Möller, R. Alur
Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning