Igor Sedl?R
AuthID: R-00J-T3A
1
TITLE: Dynamic Logic. New Trends and Applications - Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9-10, 2020, Revised Selected Papers
AUTHORS: Manuel A Martins ; Igor Sedlár;
PUBLISHED: 2020, SOURCE: DaLí, VOLUME: 12569
AUTHORS: Manuel A Martins ; Igor Sedlár;
PUBLISHED: 2020, SOURCE: DaLí, VOLUME: 12569
INDEXED IN: 
DBLP
DBLP