hide
Title:
Tools and Algorithms for the Construction and Analysis of Systems : 14th International Conference, TACAS 2008 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008
Source Genre:
Proceedings
Creator(s):
Ramakrishnan, C. R., Editor
Rehof, Jakob, Editor
Affiliations:
-
Publ. Info:
New York : Springer
Pages:
-
Volume / Issue:
-
Sequence Number:
-
Start / End Page:
265 - 281
Identifier:
ISBN: 978-3-540-78799-0