-
Selection by year
-
Selection by authors
-
Complete lists
GenestMSZ06
B. Genest, A. Muscholl, H. Seidl, M. Zeitoun. Infinite-State High-Level MSCs: Model-Checking and Realizability. J. Computer and System Science JCSS, 72(4):617-647, 2006.
Keywords
[ Partial orders ] [ Scenarios ]
Contact
Blaise Genest http://perso.crans.org/~genest/
BibTex Reference
@article{GenestMSZ06,
Author = {Genest, B. and Muscholl, A. and Seidl, H. and Zeitoun, M.},
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}
}
EndNote Reference [help]
Get EndNote Reference (.ref)