Specification and proof in real-time systems

diss.

Bibliographische Detailangaben

1. Verfasser:	Davies, Jim (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	1991
Schriftenreihe:	Technical monograph / OXFORD UNIV PRG-93
Schlagworte:	Bericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!