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

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

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskaplig

Originalspråkengelska
Titel på gästpublikationTechnical report. University of Helsinki, Department of Computer Science,C-2004-62
Utgivningsdatum1 aug 1986
StatusPublicerad - 1 aug 1986
MoE-publikationstypB3 Ej refererad artikel i konferenshandlingar

Citera det här