Julkaisu

Reference

Back RJR, Sere K. Superposition refinement of reactive systems. Form Asp Comput 1996:8:324-346.

Julkaisutiedot

Julkaisutyyppi: Alkuperäisartikkeli.
Kansainvälinen.
Kieli: Englanti.

Publication data

Publication type: Original scientific article.
International.
In English.


Tekijät

Contributors

Kuopion yliopisto

University of Kuopio

  • Department of Computer Science
    • Kaisa Sere

Julkaisutietokanta 15.4.2008 Publications Data Base 15.4.2008