Browsing by Author Bartocci, Ezio
Showing results 1 to 3 of 3
| Preview | Authors / Editors | Title | Type | Issue Date |
|---|---|---|---|---|
 | Beck, Harald | Expressive rule-based stream reasoning | Thesis Hochschulschrift   | 2018 |
 | Wang, Guodong | Neural computation methods for industrial data processing | Thesis Hochschulschrift | 2018 |
 | Bartocci, Ezio  ; Ramakrishnan, C.R. | Preface of the special issue on Model Checking of Software : Selected papers of the 20th International SPIN Symposium on Model Checking of Software | Article Artikel | 2016 |