000 00302nam a2200109Ia 4500
008 241121s9999 xx 000 0 und d
020 _a9783319756318
100 _aEzio Bartocci
_910856
245 0 _aLectures on Runtime Verification: Introductory and Advanced Topics
260 _bSpringer
260 _c2018
999 _c4225
_d4225