GenestMSZ02

Blaise Genest, Anca Muscholl, Helmut Seidl, Marc Zeitoun. Infinite-State High-Level MSCs: Model-Checking and Realizability. In ICALP, Volume LNCS 2380, Pages 657-668, 2002.

Keywords

[ Partial orders ] [ Scenarios ]

Contact

Blaise Genest http://www.irisa.fr/distribcom

BibTex Reference

@InProceedings{GenestMSZ02,
   Author = {Genest, Blaise and Muscholl, Anca and Seidl, Helmut and Zeitoun, Marc},
   Title = {Infinite-State High-Level MSCs: Model-Checking and Realizability},
   BookTitle = {ICALP},
   Volume = {LNCS 2380},
   Pages = {657--668},
   Year = {2002}
}

EndNote Reference [help]

Get EndNote Reference (.ref)