CiteSeer.IST HomeCheck: The following citations are predicted to all refer to the same paper. Details
M. Nesi. Mechanizing a Proof by Induction of Process Algebra Specifications in Higher Order Logic. In K.G. Larsen and A. Skou, editors, Proceedings of CAV 91, LNCS 575, pages 288--298, 1992.
Nesi, M., `Mechanizing a Proof by Induction of Process Algebra Specifications in Higher Order Logic', in [38], pp. 288--298.
M. Nesi. Mechanizing a proof by induction of process algebra specifications in higher order logic. In K. Larsen and A. Skou, editors, To appear in Proceedings of the Third Workshop on Computer-Aided Verification, Alborg, Danemark, 1991.
M. Nesi. Mechanizing a proof by induction of process algebra specications in Higher-Order Logic. In K. G. Larsen, and A. Skou, editors, Proceedings of the 3rd International Workshop in Computer Aided Verication (CAV`91), pages 288-298. Springer Verlag, 1992. Lecture Notes in Computer Science No. 575.
Nesi, M., "Mechanizing a Proof by Induction of Process Algebra Specification in Higher Order Logic", Proc. 3rd international Workshop on Computer Aided Verification, Aalborg, Denmark, LNCS 575, 1991.