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