Huimin Lin. An Interactive Proof Tool for Process Algebras. In Alain Finkel, Matthias Jantzen, editors, STACS 92, 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992, Proceedings. Volume 577 of Lecture Notes in Computer Science, pages 617-618, Springer, 1992.
No reviews for this publication, yet.