Book
A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic
| العنوان: | A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic |
|---|---|
| المؤلفون: | Basin, David, Dardinier, Thibault, Heimes, Lukas, Krstić, Srđan, Raszyk, Martin, Schneider, Joshua, Traytel, Dmitriy |
| المصدر: | Automated Reasoning ; Lecture Notes in Computer Science ; page 432-453 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030510732 9783030510749 |
| بيانات النشر: | Springer International Publishing |
| سنة النشر: | 2020 |
| نوع الوثيقة: | book part |
| اللغة: | unknown |
| ردمك: | 978-3-030-51073-2 978-3-030-51074-9 3-030-51073-5 3-030-51074-3 |
| DOI: | 10.1007/978-3-030-51074-9_25 |
| الاتاحة: | http://dx.doi.org/10.1007/978-3-030-51074-9_25 https://link.springer.com/content/pdf/10.1007/978-3-030-51074-9_25 |
| Rights: | https://www.springer.com/tdm ; https://www.springer.com/tdm |
| رقم الانضمام: | edsbas.781C827F |
| قاعدة البيانات: | BASE |
| ردمك: | 9783030510732 9783030510749 3030510735 3030510743 |
|---|---|
| DOI: | 10.1007/978-3-030-51074-9_25 |