1.
Jeannet B. Dynamic Partitioning in Linear Relation Analysis. Application to the Verification of Synchronous Programs. BRICS [Internet]. 2000 Jun. 8 [cited 2024 Mar. 29];7(38). Available from: https://tidsskrift.dk/brics/article/view/20204