%0 Journal Article %1 journals/jcss/GenestMSZ06 %A Genest, Blaise %A Muscholl, Anca %A Seidl, Helmut %A Zeitoun, Marc %D 2006 %J J. Comput. Syst. Sci. %K dblp %N 4 %P 617-647 %T Infinite-state high-level MSCs: Model-checking and realizability. %U http://dblp.uni-trier.de/db/journals/jcss/jcss72.html#GenestMSZ06 %V 72

@article{journals/jcss/GenestMSZ06, added-at = {2024-02-05T00:00:00.000+0100}, author = {Genest, Blaise and Muscholl, Anca and Seidl, Helmut and Zeitoun, Marc}, biburl = {https://www.bibsonomy.org/bibtex/2bdc2250af0a794830fb5bfd437f1e9bb/dblp}, ee = {https://doi.org/10.1016/j.jcss.2005.09.007}, interhash = {b4d244458c302cf6bc2ec8aa68e9e2d1}, intrahash = {bdc2250af0a794830fb5bfd437f1e9bb}, journal = {J. Comput. Syst. Sci.}, keywords = {dblp}, number = 4, pages = {617-647}, timestamp = {2024-04-08T19:16:01.000+0200}, title = {Infinite-state high-level MSCs: Model-checking and realizability.}, url = {http://dblp.uni-trier.de/db/journals/jcss/jcss72.html#GenestMSZ06}, volume = 72, year = 2006 }