作　　者：Stefan Haar ;Christian Kern ;Stefan Schwoon

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;54:31-44.doi:10.4204/EPTCS.54.3

出 版 社：Open Publishing Association

文 章 ID：83120157

作　　者：Stefan Haar ;Serge Haddad ;Stefan Schwoon 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;182:1-16.doi:10.4230/LIPIcs.FSTTCS.2020.48

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

文 章 ID：257805118

作　　者：Javier Esparza ;Loig Jezequel ;Stefan Schwoon

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;24:225-236.doi:10.4230/LIPIcs.FSTTCS.2013.225

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

文 章 ID：186846410

作　　者：Stefan Haar ;Serge Haddad ;Tarek Melliti 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;24:527-539.doi:10.4230/LIPIcs.FSTTCS.2013.527

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

文 章 ID：186846434

作　　者：Rohit Chadha ;Umang Mathur ;Stefan Schwoon

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2014 ;29:505-516.doi:10.4230/LIPIcs.FSTTCS.2014.505

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

文 章 ID：186846629

作　　者：Andreas Gaiser ;Stefan Schwoon

出　　处：OASIcs : OpenAccess Series in Informatics. 2009 ;13:18-26.doi:10.4230/DROPS.MEMICS.2009.2349

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

文 章 ID：186848345

作　　者：C{\'e}sar Rodr{\'i}guez ;Stefan Schwoon

出　　处：OASIcs : OpenAccess Series in Informatics. 2013 ;31:47-52.doi:10.4230/OASIcs.FSFMA.2013.47

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

文 章 ID：186848611

作　　者：Loïg Jezequel ;Agnes Madalinski ;Stefan Schwoon

出　　处：IFAC PapersOnLine. 2018 ;51(7):106-111.doi:10.1016/j.ifacol.2018.06.287

出 版 社：Elsevier

文 章 ID：1020218647