@article{Genest_2006,
    doi = {10.1016/j.jcss.2005.09.007},
    url = {https://doi.org/10.1016%2Fj.jcss.2005.09.007},
    year = {2006},
    month = {jun},
    publisher = {Elsevier {BV}},
    volume = {72},
    number = {4},
    pages = {617--647},
    author = {Blaise Genest and Anca Muscholl and Helmut Seidl and Marc Zeitoun},
    title = {Infinite-state high-level {MSCs}: Model-checking and realizability},
    journal = {Journal of Computer and System Sciences}
}

@article{Genest_2006, doi = {10.1016/j.jcss.2005.09.007}, url = {https://doi.org/10.1016%2Fj.jcss.2005.09.007}, year = {2006}, month = {jun}, publisher = {Elsevier {BV}}, volume = {72}, number = {4}, pages = {617--647}, author = {Blaise Genest and Anca Muscholl and Helmut Seidl and Marc Zeitoun}, title = {Infinite-state high-level {MSCs}: Model-checking and realizability}, journal = {Journal of Computer and System Sciences} }