Jeannet B. Dynamic Partitioning in Linear Relation Analysis. Application to the Verification of Synchronous Programs. BRICS [Internet]. 8. juni 2000 [henvist 19. oktober 2024];7(38). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/20204