Blaise Genest, Anca Muscholl, Helmut Seidl, Marc Zeitoun. Infinite-State High-Level MSCs: Model-Checking and Realizability. J. Computer and System Science JCSS, 72(4):617-647, 2006.
[ Partial orders ] [ Scenarios ]
Blaise Genest http://www.irisa.fr/distribcom
@article{GenestMSZ06,
Author = {Genest, Blaise and Muscholl, Anca and Seidl, Helmut and Zeitoun, Marc},
Title = {Infinite-State High-Level MSCs: Model-Checking and Realizability},
Journal = {J. Computer and System Science JCSS},
Volume = {72},
Number = {4},
Pages = {617--647},
Year = {2006}
}
Get EndNote Reference (.ref)