-
Selection by year
-
Selection by authors
-
Complete lists
GenestMSZ02
B. Genest, A. Muscholl, H. Seidl, M. 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://perso.crans.org/~genest/
BibTex Reference
@InProceedings{GenestMSZ02,
Author = {Genest, B. and Muscholl, A. and Seidl, H. and Zeitoun, M.},
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)