Efficient automated protocol implementation using RTAG

Bibliographische Detailangaben

1. Verfasser:	Hernek, Diane (VerfasserIn)
Weitere Verfasser:	Anderson, David P. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berkeley, Calif. Univ. of California 1989
Schriftenreihe:	Report / Computer Science Division (EECS), UCB/CSD 89/526
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!