A verification method for finite dataflow networks witch constraints applied to the verification of alternating bit protocoll

Bibliographische Detailangaben

1. Verfasser:	Streicher, Thomas (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	Passau Fak. für Mathematik u. Informatik, Univ. c/o M. Pockes 1987
Schriftenreihe:	Technische Berichte der Fakultät für Mathematik und Informatik, Universität Passau
Schlagworte:	Bericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!