كتاب إلكتروني
From Linear Temporal Logics to Büchi Automata: The Early and Simple Principle
العنوان: | From Linear Temporal Logics to Büchi Automata: The Early and Simple Principle |
---|---|
المؤلفون: | Tsay, Yih-KuenAff11, Vardi, Moshe Y.Aff12 |
المساهمون: | Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Aff9, Woeginger, Gerhard, Editorial Board MemberAff6, Yung, Moti, Editorial Board MemberAff7, Olderog, Ernst-Rüdiger, editorAff8, Yi, Wang, editorAff10 |
المصدر: | Model Checking, Synthesis, and Learning : Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday. 13030:8-40 |
قاعدة البيانات: | Springer Nature eBooks |
ردمك: | 9783030913830 9783030913847 |
---|---|
DOI: | 10.1007/978-3-030-91384-7_2 |