@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
}
}