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

  Bertrand Jeannet

  • PDF (English)