Search from the table of contents of 2.5 million books
Advanced Search (Beta)
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

Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

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


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 6 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.

Access Options
Citation Options
Download Citation

Showing 1 to 20 of 41 entries
Chapters/HeadingsAuthor(s)PagesInfo
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/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 41 entries