Export 1 results:
Search results for biblio_year:1987
Filters: 1 is biblio_type:Book Chapter and 2 is biblio_year:1996 and 3 is biblio_year:2009 and 4 is field_research_area:6 and 5 is field_publication_owner:not_simula and 6 is biblio_year:2016 and Author is Falcone, Yliès  [Reset Search]
C. M. Rosenberg, M. Steffen and V. Stolz. "Leveraging DTrace for Runtime Verification." In Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings, edited by Y. Falcone and C. Sánchez, 318-332. Cham: Springer International Publishing, 2016.