Automatic Verification of Parametric Specifications with Complex Topologies.

Johannes Faber, Carsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans

Browse the full IFM paper archive.