A real time process logic
DSpace/Manakin Repository
A real time process logic
Bergstra, J.A.; Baeten, J.C.M.; Bol, R.N.
(1994) Lecture notes in computer science, volume 827, pp. 30 - 47
(Article in proceedings)
Download/Full Text
Open Access version via Utrecht University Repository
ISSN: 0302-9743
Publisher: Springer-Verlag
See
more statistics
about this item