Jeannet, Bertrand

• BRICS Report Series No. 38 (2000): RS-38 Dynamic Partitioning in Linear Relation Analysis. Application to the Verification of Synchronous Programs - Articles
  Dynamic Partitioning in Linear Relation Analysis. Application to the Verification of Synchronous Programs
  Abstract  PDF