Algebra of timed frames / J.A. Bergstra, W.J. Fokkink, C.A. Middelburg
mainEntity
Algebra of timed frames / J.A. Bergstra, W.J. Fokkink, C.A. Middelburg
about
author
contributor
inLanguage
isbn
9039312427
mainEntityOfPage
name
Algebra of timed frames
numberOfPages
publication
sameAs
label
Algebra of timed frames / J.A. Bergstra, W.J. Fokkink, C.A. Middelburg