TY - GEN
AU - Falcone, Yliès
AU - Sánchez, César
TI - Introduction to the special issue on runtime verification
PB - Springer Science and Business Media LLC
SN - 0925-9856
SN - 1572-8102
KW - Hardware and Architecture
KW - Theoretical Computer Science
KW - Software
PY - 2018
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation