Temporal Causality in Reactive Systems
| العنوان: | Temporal Causality in Reactive Systems |
|---|---|
| المؤلفون: | Norine Coenen, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Niklas Metzger, Julian Siber |
| المصدر: | Automated Technology for Verification and Analysis ISBN: 9783031199912 |
| بيانات النشر: | Springer International Publishing, 2022. |
| سنة النشر: | 2022 |
| ردمك: | 978-3-031-19991-2 |
| URL الوصول: | https://explore.openaire.eu/search/publication?articleId=doi_________::ca82eb77176bc99703fcc59a37bef7d1 https://doi.org/10.1007/978-3-031-19992-9_13 |
| حقوق: | CLOSED |
| رقم الأكسشن: | edsair.doi...........ca82eb77176bc99703fcc59a37bef7d1 |
| قاعدة البيانات: | OpenAIRE |
| ردمك: | 9783031199912 |
|---|