The state operator in real time process algebra

Bibliographische Detailangaben

1. Verfasser:	Baeten, Josephus C. M. (VerfasserIn)
Format:	Buch
Sprache:	Undetermined
Veröffentlicht:	Amsterdam Centrum voor Wiskunde en Informatica 1991
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!