Constructing Circuits from Decidable Duration Calculus
Michael R. Hansen, E-R. Olderog
Type
Technical report
Year
1993
Publisher
Fachbereich Informatik, University Oldenburg, Germany
BibTeX data
[bibtex]
IMM Group(s)
Computer Science & Engineering