作　　者：Klaus Drager ;Vojtech Forejt ;Marta Kwiatkowska 等

出　　处：Logical Methods in Computer Science. 2015 ;11(2):1.doi:10.2168/LMCS-11(2:16)2015

出 版 社：Technical University of Braunschweig

文 章 ID：264692226

作　　者：Tomas Brazdil ;Vojtech Forejt ;Jan Krcal 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2009 ;4:61-72.doi:10.4230/LIPIcs.FSTTCS.2009.2307

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：186845590

作　　者：Vojtech Forejt ;Petr Jancar ;Stefan Kiefer 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;18:448-460.doi:10.4230/LIPIcs.FSTTCS.2012.448

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：186846223

作　　者：Tom{\'a}s Br{\'a}zdil ;Taolue Chen ;Vojtech Forejt 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;24:487-499.doi:10.4230/LIPIcs.FSTTCS.2013.487

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：186846431

作　　者：Vojtech Forejt ;Jan Krcal

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;42:184-197.doi:10.4230/LIPIcs.CONCUR.2015.184

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：186847009

作　　者：Tomas Brazdil ;Vojtech Forejt ;Antonin Kucera 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;59:10:1-10:14.doi:10.4230/LIPIcs.CONCUR.2016.10

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：186847569