Towards the Semi-Automatic Verification of Parameterized Real-Time Systems Using Network Invariants.

Thomas Gthel, Sabine Glesner

Browse the full SEFM paper archive.