Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, | Guide Proceedings

TACAS '09: Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009,

Go to Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009,

March 2009

2009 Proceeding

Editors:
Stefan Kowalewski
Embedded Software Laboratory, RWTH Aachen, Aachen, Germany 52074
,
Anna Philippou
Department of Computer Science, University of Cyprus, Nicosia, CY-1678, Cyprus

Publisher:

Springer-Verlag
Berlin, Heidelberg

Conference:

York UK March 22 - 29, 2009

ISBN:

978-3-642-00767-5

Published:

27 March 2009

Bibliometrics