Jeannet, Bertrand
-
BRICS Report Series Nr. 38 (2000): RS-38 Dynamic Partitioning in Linear Relation Analysis. Application to the Verification of Synchronous Programs - Artikler
Dynamic Partitioning in Linear Relation Analysis. Application to the Verification of Synchronous Programs
Resumé PDF (English)