作　　者：Rivera, Julio C ;Howard, Jack ;Goh, Samuel 等

出　　处：Journal of Cybersecurity Education, Research and Practice. 2017 ;2017(2):3.

出 版 社：Kennesaw State University

文 章 ID：206341272

作　　者：Worrell, James ;Kiefer, Stefan ;Jančar, Petr 等

出　　处：Logical Methods in Computer Science. 2018 ;14(4).doi:10.23638/LMCS-14(4:13)2018

出 版 社：Technical University of Braunschweig

文 章 ID：1022768406

作　　者：Worrell, James ;Pouly, Amaury ;Ouaknine, Joël 等

出　　处：Logical Methods in Computer Science. 2018 ;14(4).doi:10.23638/LMCS-14(4:20)2018

出 版 社：Technical University of Braunschweig

文 章 ID：1024654175

作　　者：Worrell, James ;Marusic, Ines ;Kiefer, Stefan

出　　处：Logical Methods in Computer Science. 2017 ;13(1).

出 版 社：Technical University of Braunschweig

文 章 ID：1011733869

作　　者：Neumann, Eike ;Ouaknine, Joël ;Worrell, James

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;198.doi:10.4230/LIPIcs.ICALP.2021.99

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

文 章 ID：1037088386

作　　者：D'Costa, Julian ;Karimov, Toghrul ;Majumdar, Rupak 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;202.doi:10.4230/LIPIcs.MFCS.2021.34

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

文 章 ID：1037088643

作　　者：D'Costa, Julian ;Lefaucheux, Engel ;Neumann, Eike 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;202.doi:10.4230/LIPIcs.MFCS.2021.33

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

文 章 ID：1037088645

作　　者：Kenison, George ;Klurman, Oleksiy ;Lefaucheux, Engel 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;202.doi:10.4230/LIPIcs.MFCS.2021.67

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

文 章 ID：1037088647

作　　者：Baier, Christel ;Funke, Florian ;Jantsch, Simon 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;203.doi:10.4230/LIPIcs.CONCUR.2021.28

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

文 章 ID：1037088705