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