• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Superposition Refinement of Reactive Systems

Ralph-Johan Back, Kaisa Sere, Superposition Refinement of Reactive Systems. Formal Aspects of Computing 8(3), 324–346, 1996.

Files:

Full publication in PDF-format

BibTeX entry:

@ARTICLE{jBS96b,
  title = {Superposition Refinement of Reactive Systems},
  author = {Back, Ralph-Johan and Sere, Kaisa},
  journal = {Formal Aspects of Computing},
  volume = {8},
  number = {3},
  pages = {324–346},
  year = {1996},
}

Belongs to TUCS Research Unit(s): Software Construction Laboratorium

Publication Forum rating of this publication: level 2

Edit publication