public
Fork of hst/hst
Description: An open-source refinement checker for the CSP process algebra
Home | Edit | New

Home

This is a forked repository. Have a look at
hst’s hst wiki
for more information.

Last edited by dcreager, Sun Nov 09 11:56:01 -0800 2008
Home | Edit | New
Versions: