作 者:Detlef Plump ;Sandra Steinert
出 处:Electronic Proceedings in Theoretical Computer Science. 2009 ;21:27-38.doi:10.4204/EPTCS.21.3
出 版 社:Open Publishing Association
文 章 ID:83119856
作 者:Detlef Plump
出 处:Electronic Communications of the EASST. 2010 ;26.
出 版 社:European Association of Software Science and Technology (EASST)
文 章 ID:100465599
作 者:Frank Drewes ;Annegret Habel ;Berthold Hoffmann 等
出 处:Electronic Communications of the EASST. 2010 ;26.
出 版 社:European Association of Software Science and Technology (EASST)
文 章 ID:100465913
作 者:Detlef Plump ;Christopher Bak
出 处:Electronic Communications of the EASST. 2012 ;54.
出 版 社:European Association of Software Science and Technology (EASST)
文 章 ID:100465934
作 者:Greg Manning ;Detlef Plump
出 处:Electronic Communications of the EASST. 2008 ;10.
出 版 社:European Association of Software Science and Technology (EASST)
文 章 ID:100466040
作 者:Ivaylo Hristakiev ;Detlef Plump
出 处:Electronic Communications of the EASST. 2014 ;71.
出 版 社:European Association of Software Science and Technology (EASST)
文 章 ID:110617873
作 者:Graham Campbell ;Brian Courtehoute ;Detlef Plump
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;139:1-23.doi:10.4230/LIPIcs.CALCO.2019.16
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:241520013
作 者:Detlef Plump
出 处:Electronic Communications of the EASST. 2015 ;73.doi:10.14279/tuj.eceasst.73.1028
出 版 社:European Association of Software Science and Technology (EASST)
文 章 ID:206252985
作 者:Christopher M. Poskitt ;Detlef Plump
出 处:Electronic Communications of the EASST. 2013 ;61.
出 版 社:European Association of Software Science and Technology (EASST)
文 章 ID:185434312
作 者:Detlef Plump ;Robin Suri ;Ambuj Singh
出 处:Electronic Communications of the EASST. 2011 ;39.
出 版 社:European Association of Software Science and Technology (EASST)
文 章 ID:185436391