Julkaisu

Reference

Back RJR, Sere K. Superposition Refinement of Reactive Systems. Reports on Computer Science and Mathematics, Ser. A No 144. Åbo: Åbo Akademi University, 1993. 24 s.

Julkaisutiedot

Julkaisutyyppi: Kirjoitettu tiet. kirja.
Kansallinen.

Publication data

Publication type: Authored scientific monograph.
National.


Tekijät

Contributors

Kuopion yliopisto

University of Kuopio

  • Department of Computer Science

Julkaisutietokanta 15.4.2008 Publications Data Base 15.4.2008