@book {TN_libero_mab2,
author = { TACAS 15 2009 York AND ETAPS 12 2009 York Kowalewski, Stefan AND Philippou, Anna },
title = { 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 },
publisher = {Springer},
isbn = {3642007678},
isbn = {9783642007675},
keywords = { Computer software Development Congresses , System analysis Congresses , System design Congresses , Konferenzschrift 2009 York , Systementwicklung , Softwareentwicklung , Model Checking , Programmanalyse , Theoretische Informatik },
year = {2009},
abstract = {Literaturangaben},
booktitle = {Lecture notes in computer science ; Theoretical computer science and general issues ; 5505},
address = { Berlin },
url = { http://slubdd.de/katalog?TN_libero_mab2 }
}
Download citation