%0 Book
%T Tools and algorithms for the construction and analysis of systems 15th international conference, TACAS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009 ; proceedings
%A TACAS 15 2009 York
%A ETAPS 12 2009 York
%A Kowalewski, Stefan
%A Philippou, Anna
%I Springer
%@ 3642007678
%@ 9783642007675
%K Computer software Development Congresses
%K System analysis Congresses
%K System design Congresses
%K Konferenzschrift 2009 York
%K Systementwicklung
%K Softwareentwicklung
%K Model Checking
%K Programmanalyse
%K Theoretische Informatik
%D 2009
%X Literaturangaben
%C Springer
%C Berlin
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation