VERDIS a tool for verification of finite automata

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Straube, Bernd (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Dresden Techn. Univ., SFB 358 1996
Schriftenreihe:	SFB 358 C1 1/96
Schlagworte:	Forschungsbericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!