KIT | KIT-Bibliothek | Impressum | Datenschutz

Self-verifying Cellular Automata

Kutrib, M.; Worsch, T. 1
1 Karlsruher Institut für Technologie (KIT)


Download
Originalveröffentlichung
DOI: 10.1007/978-3-319-99813-8_31
Scopus
Zitationen: 1
Dimensions
Zitationen: 1
Zugehörige Institution(en) am KIT Fakultät für Informatik (INFORMATIK)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2018
Sprache Englisch
Identifikator ISBN: 978-3-319-99812-1
ISSN: 0302-9743, 1611-3349
KITopen-ID: 1000086621
Erschienen in 13th International Conference on Cellular Automata for Research and Industry, ACRI 2018; Como; Italy; 17 September 2018 through 21 September 2018. Ed.: K. Nishinari
Verlag Springer
Seiten 340-351
Serie Lecture notes in computer science ; 11115
Nachgewiesen in Dimensions
Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page