Where academic tradition
meets the exciting future

Refinement and Continuous Behaviour

Mauno Rönkkö, Kaisa Sere, Refinement and Continuous Behaviour. TUCS Technical Reports 198, Turku Centre for Computer Science, 1998.

Abstract:

http://www.tucs.fi/Publications/techreports/TR198.php

Files:

Full publication in PDF-format

BibTeX entry:

@TECHREPORT{tRoSe98a,
  title = {Refinement and Continuous Behaviour},
  author = {Rönkkö, Mauno and Sere, Kaisa},
  number = {198},
  series = {TUCS Technical Reports},
  publisher = {Turku Centre for Computer Science},
  year = {1998},
}

Edit publication