作　　者：Kim G. Larsen ;Radu Mardare ;Claus Thrane

出　　处：Electronic Proceedings in Theoretical Computer Science. 2012 ;103:33-47.doi:10.4204/EPTCS.103.4

出 版 社：Open Publishing Association

文 章 ID：83120659

作　　者：Giorgio Bacci ;Giovanni Bacci ;Kim G. Larsen 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;140:1-17.doi:10.4230/LIPIcs.CONCUR.2019.9

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

文 章 ID：238891917

作　　者：Giovanni Bacci ;Giorgio Bacci ;Kim G. Larsen 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;80:104:1-104:14.doi:10.4230/LIPIcs.ICALP.2017.104

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

文 章 ID：198372058

作　　者：Radu Mardare ;Luca Cardelli ;Kim Larsen

出　　处：Logical Methods in Computer Science. 2012 ;8(4):1.doi:10.2168/LMCS-8(4:19)2012

出 版 社：Technical University of Braunschweig

文 章 ID：264691887

作　　者：Luca Cardelli ;Kim G. Larsen ;Radu Mardare

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;12:144-158.doi:10.4230/LIPIcs.CSL.2011.144

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

文 章 ID：186845980

作　　者：Kim G. Larsen ;Radu Mardare ;Bingtian Xue

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;65:25:1-25:18.doi:10.4230/LIPIcs.FSTTCS.2016.25

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

文 章 ID：186848145

作　　者：Peter Christoffersen ;Mikkel Hansen ;Anders Mariegaard 等

出　　处：OASIcs : OpenAccess Series in Informatics. 2015 ;44:77-90.doi:10.4230/OASIcs.SynCoP.2015.77

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

文 章 ID：186848902

作　　者：Giorgio Bacci ;Giovanni Bacci ;Kim G. Larsen 等

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

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

文 章 ID：186847579