Algebra of timed frames

Authors	J.A. Bergstra W.J. Fokkink C.A. Middelburg
Publication date	1995
Series	Logic Group Preprint Series, 148
Publisher	Utrecht: Utrecht University
Organisations	Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type	Report
Permalink to this page