KIT | KIT-Bibliothek | Impressum | Datenschutz
Originalveröffentlichung
DOI: 10.1007/978-3-319-99813-8_31

Self-verifying Cellular Automata

Kutrib, M.; Worsch, T.



Zugehörige Institution(en) am KIT Fakultät für Informatik (INFORMATIK)
Publikationstyp Proceedingsbeitrag
Jahr 2018
Sprache Englisch
Identifikator ISBN: 978-3-319-99812-1
ISSN: 0302-9743, 1611-3349, 1611-3349 = Lecture notes in computer science (Internet)
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, Cham
Seiten 340-351
Serie Lecture notes in computer science ; 11115
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page