Home > Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
Book Informaton
Author
Howard Barringer; Ylies Falcone; Bernd Finkbeiner; Klaus Havelund; Insup Lee; Gordon Pace; Grigore Rosu; Oleg Sokolsky; Nikolai Tillmann
Series
Lecture Notes in Computer Science
Volume
6418
Year of Publication
2010
Publisher
Springer Berlin Heidelberg
City of Publication
Berlin, Heidelberg
Pages
XIII, 492
Language
en
ISBN
9783642166112, 9783642166129
ARI Id
1664705586468
This page has been accessed 6 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 41 entries
Chapters/Headings | Author(s) | Pages | Info |
1-15 | |||
16-17 | |||
18-35 | |||
36-50 | |||
51-57 | |||
58-58 | |||
59-73 | |||
74-88 | |||
89-105 | |||
106-121 | |||
122-135 | |||
136-152 | |||
153-167 | |||
168-182 | |||
183-197 | |||
198-213 | |||
214-228 | |||
229-244 | |||
245-252 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 41 entries