Tools and algorithms for the construction and analysis of systems (TACAS 2003)

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	TACAS (BerichterstatterIn)
Weitere Verfasser:	Garavel, Hubert (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Amsterdam u.a. Elsevier 2006
Schriftenreihe:	Theoretical computer science 354,2
Schlagworte:	Algorithms > Systems > Tools > Konferenzschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	Einzelaufnahme eines Zeitschr.-Heftes
Beschreibung:	S. 170 - 317 graph. Darst.