An interactive proof system for test congruence between processes

University dissertation from Luleå : Luleå tekniska universitet

Author: Nils-olof Forsgren; Olov Schelén; Luleå Tekniska Universitet.; Luleå University Of Technology.; [1988]

Keywords: ;

Abstract:

This dissertation MIGHT be available in PDF-format. Check this page to see if it is available for download.