Browsing CD-Laboratory for Surface Chemical and Physics Fundamentals of Paper Strength, Inffeldgasse 23, 8010 Graz, Austria
Showing results 1 to 1 of 1
| Preview | Authors / Editors | Title | Type | Issue Date |
|---|---|---|---|---|
 | Bartocci, Ezio  ; Falcone, Yliès ; Bonakdarpour, Borzoo ; Colombo, Christian ; Decker, Normann ; Havelund, Klaus ; Joshi, Yogi ; Klaedtke, Felix ; Milewicz, Reed ; Reger, Giles ; Rosu, Grigore ; Signoles, Julien ; Thoma, Daniel ; Zalinescu, Eugen ; Zhang, Yi | First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014 | Article Artikel    | 2017 |