Infinite-state high-level MSCs: Model-checking and realizability

Document type :
Journal articles
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00306255
Contributor : Anca Muscholl <>
Submitted on : Friday, July 25, 2008 - 2:33:38 PM
Last modification on : Thursday, February 7, 2019 - 3:42:26 PM

Identifiers

  • HAL Id : hal-00306255, version 1

Collections

Citation

Blaise Genest, Anca Muscholl, Helmut Seidl, Marc Zeitoun. Infinite-state high-level MSCs: Model-checking and realizability. Journal of Computer and System Sciences, Elsevier, 2006, 72 (4), pp.617--647. ⟨hal-00306255⟩

Share

Metrics

Record views

89