Process Algebra in Pvs (1999)

by T Basten, J Hooman
Venue:In Proc. of TACAS’99, volume 1579 of LNCS