![](/img/cover-not-exists.png)
Infinite-state high-level MSCs: Model-checking and realizability
Blaise Genest, Anca Muscholl, Helmut Seidl, Marc ZeitounVolume:
72
Year:
2006
Language:
english
Pages:
31
DOI:
10.1016/j.jcss.2005.09.007
File:
PDF, 335 KB
english, 2006