PROTAN - an Estelle Environment for protocol verification. A status report.

Lea Kyllikki Kutvonen, Martti Johannes Tienari, Kari Aaltonen, Jukka Keskinen, Kari Lehtinen

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

Original languageEnglish
Title of host publicationTechnical report. University of Helsinki, Department of Computer Science,C-2004-62
Publication date1 Aug 1986
Publication statusPublished - 1 Aug 1986
MoE publication typeB3 Article in conference proceedings

Cite this

Kutvonen, L. K., Tienari, M. J., Aaltonen, K., Keskinen, J., & Lehtinen, K. (1986). PROTAN - an Estelle Environment for protocol verification. A status report. In Technical report. University of Helsinki, Department of Computer Science,C-2004-62