كتاب إلكتروني
Saturated Kripke Structures as Vietoris Coalgebras
| العنوان: | Saturated Kripke Structures as Vietoris Coalgebras |
|---|---|
| المؤلفون: | Gumm, H. PeterAff9, Taheri, MonaAff9 |
| المساهمون: | Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Yung, Moti, Editorial Board MemberAff6, Hansen, Helle Hvid, editorAff7, Zanasi, Fabio, editorAff8 |
| المصدر: | Coalgebraic Methods in Computer Science : 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings. 13225:88-109 |
| قاعدة البيانات: | Springer Nature eBooks |
| ردمك: | 9783031107351 9783031107368 |
|---|---|
| DOI: | 10.1007/978-3-031-10736-8_5 |