Technical Report
Specification and Refinement of Finite Dataflow Networks - A Relational Approach
Author(s): Manfred Broy, Ketil Stølen
Year: 1994
Number: TUM-I9412
Editor:
CR Classification:
CR General Terms:
Keywords:
Abstract:
Available as compressed Postscript
BibTeX-Entry:
<![CDATA[
@techreport{ Broy-TUM-I9412,
author = {Manfred Broy and Ketil St\olen},
title = {Specification and Refinement of Finite Dataflow Networks - A Relational Approach},
number = {TUM-I9412},
institution = {Technische Univerit\"at M\"unchen},
year = {1994},
url = {http://www4.informatik.tu-muenchen.de/reports/TUM-I9412.html},
abstract = { },
CRClassification = {},
CRGenTerms = {}
}
]]>