An interactive proof tool for process algebras (1992)

by H Lin
Venue:in 9th Annual Symposium on Theoretical Aspects of Computer Science