Reachability for Dynamic Parametric Processes.

Anca Muscholl, Helmut Seidl, Igor Walukiewicz

Browse the full VMCAI paper archive.