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

Gespeichert in:

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!

Keine Ergebnisse!