Parameterized Verification of Disjunctive Timed Networks.

tienne Andr, Paul Eichler, Swen Jacobs, Shyam Lal Karra

Browse the full VMCAI paper archive.