@inbook{Muscholl2017,
    Address = {Cham},
    Author = {Muscholl, Anca and Seidl, Helmut and Walukiewicz, Igor},
    BookTitle = {Verification, Model Checking, and Abstract Interpretation: 18th International Conference, VMCAI 2017, Paris, France, January 15--17, 2017, Proceedings},
    Editor = {Bouajjani, Ahmed and Monniaux, David},
    File = {igw-vmcai17 (0) (0) - a - a - l.pdf},
    ISBN = {978-3-319-52234-0},
    Pages = {424--441},
    Publisher = {Springer International Publishing},
    Title = {Reachability for Dynamic Parametric Processes},
    URL = {http://dx.doi.org/10.1007/978-3-319-52234-0\_23},
    Year = {2017},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-319-52234-0\_23},
    date-added = {2017-04-12 08:49:03 +0000},
    date-modified = {2017-04-12 08:49:03 +0000},
    file-2 = {1609.05385 (0) - a - a - l.pdf},
    file-3 = {16471.HelmutSeidl.Slides (0) - a - a - l.pdf},
    doi = {10.1007/978-3-319-52234-0_23}
}

@inbook{Muscholl2017, Address = {Cham}, Author = {Muscholl, Anca and Seidl, Helmut and Walukiewicz, Igor}, BookTitle = {Verification, Model Checking, and Abstract Interpretation: 18th International Conference, VMCAI 2017, Paris, France, January 15--17, 2017, Proceedings}, Editor = {Bouajjani, Ahmed and Monniaux, David}, File = {igw-vmcai17 (0) (0) - a - a - l.pdf}, ISBN = {978-3-319-52234-0}, Pages = {424--441}, Publisher = {Springer International Publishing}, Title = {Reachability for Dynamic Parametric Processes}, URL = {http://dx.doi.org/10.1007/978-3-319-52234-0_23}, Year = {2017}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-319-52234-0_23}, date-added = {2017-04-12 08:49:03 +0000}, date-modified = {2017-04-12 08:49:03 +0000}, file-2 = {1609.05385 (0) - a - a - l.pdf}, file-3 = {16471.HelmutSeidl.Slides (0) - a - a - l.pdf}, doi = {10.1007/978-3-319-52234-0_23} }