in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743
Volume: 12005 LNCS
Conference
2Nd International Workshop on Dynamic Logic, Dali 2019, Date: 7 October 2019 through 11 October 2019
