Process algebra in PVS / by Twan Basten and Jozef Hooman
mainEntity
Process algebra in PVS / by Twan Basten and Jozef Hooman
about
author
contributor
inLanguage
mainEntityOfPage
name
Process algebra in PVS
numberOfPages
publication
sameAs
label
Process algebra in PVS / by Twan Basten and Jozef Hooman