Testing timed automata

Bibliographische Detailangaben

1. Verfasser:	Springintveld, Jan (VerfasserIn)
Weitere Verfasser:	Vaandrager, Frits (VerfasserIn), D'Argenio, Pedro R. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Nijmegen Katholieke Univ., CSI 1997
Schriftenreihe:	Technical report / Computing Science Institute Nijmegen, Katholieke Universiteit Nijmegen CSI-R9712
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!