Using UPPAAL for the specification and verification of a lip-sync protocol

Bibliographische Detailangaben

Weitere Verfasser:	Bowman, H. (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Le Chesnay European Research Consortium for Informatics and Mathematics 1998
Schriftenreihe:	ERCIM research reports 54
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!