TY - GEN
AU - Rosenberg, Carl Martin
AU - Steffen, Martin
AU - Stolz, Volker
TI - Runtime Verification: Leveraging DTrace for Runtime Verification
PB - Springer International Publishing
SN - 1611-3349
SN - 0302-9743
PY - 2016
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation