Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
Translated title of the contribution | Тождество личности и ложные воспоминания |
---|---|
Original language | English |
Title of host publication | Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, 2020, Revised Selected Papers |
Editors | Loek Cleophas, Mieke Massink |
Place of Publication | Springer |
Publisher | Springer Nature |
Pages | 100-107 |
Number of pages | 8 |
ISBN (Electronic) | 978-3-030-67220-1 |
ISBN (Print) | 978-3-030-67219-5 |
DOIs | |
State | Published - 2021 |
Event | 2nd International Workshop on Automated and Verifiable Software System Development, ASYDE 2020, 2nd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications, CIFMA 2020 and 4th International Workshop on Formal Co-Simulation of Cyber-Physical Systems, CoSim-CPS 2020 collocated with the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020 - Amsterdam, Netherlands Duration: 14 Sep 2020 → 15 Sep 2020 |
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 12524 LNCS |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference | 2nd International Workshop on Automated and Verifiable Software System Development, ASYDE 2020, 2nd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications, CIFMA 2020 and 4th International Workshop on Formal Co-Simulation of Cyber-Physical Systems, CoSim-CPS 2020 collocated with the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020 |
---|---|
Country/Territory | Netherlands |
City | Amsterdam |
Period | 14/09/20 → 15/09/20 |
ID: 74787767