KIT | KIT-Bibliothek | Impressum | Datenschutz

Self-verifying Cellular Automata

Kutrib, M.; Worsch, T.



Originalveröffentlichung
DOI: 10.1007/978-3-319-99813-8_31
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
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
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page