كتاب إلكتروني
Relating Apartness and Branching Bisimulation Games
العنوان: | Relating Apartness and Branching Bisimulation Games |
---|---|
المؤلفون: | Rot, JurriaanAff27, Junges, SebastianAff27, Beohar, HarshAff28 |
المساهمون: | Goos, Gerhard, Series EditorAff1, Hartmanis, Juris, Founding EditorAff2, van Leeuwen, Jan, Series EditorAff3, Hutchison, David, Editorial Board MemberAff4, Kanade, Takeo, Editorial Board MemberAff5, Kittler, Josef, Editorial Board MemberAff6, Kleinberg, Jon M., Editorial Board MemberAff7, Kobsa, Alfred, Series EditorAff8, Mattern, Friedemann, Editorial Board MemberAff9, Mitchell, John C., Editorial Board MemberAff10, Naor, Moni, Editorial Board MemberAff11, Nierstrasz, Oscar, Series EditorAff12, Pandu Rangan, C., Editorial Board MemberAff13, Sudan, Madhu, Series EditorAff14, Terzopoulos, Demetri, Editorial Board MemberAff15, Tygar, Doug, Editorial Board MemberAff16, Weikum, Gerhard, Series EditorAff17, Vardi, Moshe Y, Series EditorAff18, Bertino, Elisa, Editorial Board MemberAff19, Gao, Wen, Editorial Board MemberAff20, Steffen, Bernhard, Editorial Board MemberAff21, Yung, Moti, Editorial Board MemberAff22, Woeginger, Gerhard, Editorial Board MemberAff23, Capretta, Venanzio, editorAff24, Krebbers, Robbert, editorAff25, Wiedijk, Freek, editorAff26 |
المصدر: | Logics and Type Systems in Theory and Practice : Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday. 14560:203-213 |
قاعدة البيانات: | Springer Nature eBooks |
ردمك: | 9783031617157 9783031617164 |
---|---|
DOI: | 10.1007/978-3-031-61716-4_13 |