in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743
Volume: 10669 LNCS, Páginas: 55-63
Conference
1St International Workshop on Dynamic Logic, Dali 2017, Date: 23 September 2017 through 24 September 2017