Confluence for Process Verification
DSpace/Manakin Repository
Confluence for Process Verification
Groote, J.F.; Sellink, M.P.A.
(1995) Logic Group Preprint Series, volume 137
(Preprint)
Download/Full Text
Open Access version via Utrecht University Repository
See
more statistics
about this item