Using mappings to prove timing properties

Bibliographische Detailangaben

1. Verfasser:	Lynch, Nancy A. (VerfasserIn)
Weitere Verfasser:	Attiya, Hagit (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cambridge, Mass. Laboratory for Computer Science, Massachusetts Inst. of Technology 1989
Ausgabe:	[Rev.]
Schriftenreihe:	[Technical memo] / Laboratory for Computer Science, Massachusetts Institute of Technology 412,b
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!