Tools and algorithms for the construction and analysis of systems (TACAS 2003) [... International Conference on Tools and Algorithms for the Construction and Analysis of Systems ... papers from the 9th TACAS held during April 2003 in Warsaw, Poland as part of the Joint European Conferences on Theory and Practice of Software (ETAPS)]

Bibliographische Detailangaben

Körperschaften:	TACAS (VerfasserIn), ETAPS (BerichterstatterIn)
Weitere Verfasser:	Garavel, Hubert (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Amsterdam u.a. Elsevier 2006
Schriftenreihe:	Theoretical computer science 354.2006,2
Schlagworte:	Konferenzschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!