Fairness properties in process algebra with applications in communication protocol verification

Uppsala, Univ., Diss., 1986

Bibliographische Detailangaben

1. Verfasser:	Parrow, Joachim (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	1986
Schlagworte:	Hochschulschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!