- Authors
- C. M. Rosenberg, M. Steffen and V. Stolz
- Editors
- Y. Falcone and C. Sánchez
- Status
- Published
- Publication type
- Book Chapter
- Year of publication
- 2016
- Journal
- Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings
- Publisher
- Springer International Publishing
- Citation key
- 14260