A real-time process logic / by J.C.M. Baeten, J.A. Bergstra, R.N. Bol
mainEntity
A real-time process logic / by J.C.M. Baeten, J.A. Bergstra, R.N. Bol
about
author
contributor
description
Ook verschenen als uitg.: Amst ...... iversity of Amsterdam ; P9309)
inLanguage
mainEntityOfPage
name
A real-time process logic
numberOfPages
publication
sameAs
label
A real-time process logic / by J.C.M. Baeten, J.A. Bergstra, R.N. Bol