كتاب
Fast, Flexible, and Minimal CTL Synthesis via SMT
| العنوان: | Fast, Flexible, and Minimal CTL Synthesis via SMT |
|---|---|
| المؤلفون: | Klenze, Tobias, Bayless, Sam, Hu, Alan J. |
| المصدر: | Computer Aided Verification ; Lecture Notes in Computer Science ; page 136-156 ; ISSN 0302-9743 1611-3349 ; ISBN 9783319415277 9783319415284 |
| بيانات النشر: | Springer International Publishing |
| سنة النشر: | 2016 |
| نوع الوثيقة: | book part |
| اللغة: | unknown |
| ردمك: | 978-3-319-41527-7 978-3-319-41528-4 3-319-41527-1 3-319-41528-X |
| DOI: | 10.1007/978-3-319-41528-4_8 |
| الإتاحة: | https://doi.org/10.1007/978-3-319-41528-4_8Test |
| حقوق: | http://www.springer.com/tdmTest ; http://www.springer.com/tdmTest |
| رقم الانضمام: | edsbas.6EE5C94 |
| قاعدة البيانات: | BASE |
| ردمك: | 9783319415277 9783319415284 3319415271 331941528X |
|---|---|
| DOI: | 10.1007/978-3-319-41528-4_8 |