作 者:Christoph Blume ;H. J. Sander Bruggink ;Martin Friedrich 等
出 处:Electronic Communications of the EASST. 2011 ;41.
出 版 社:European Association of Software Science and Technology (EASST)
文 章 ID:100465479
作 者:H.J. Sander Bruggink ;Mathias Hülsbusch ;Barbara König
出 处:Electronic Communications of the EASST. 2012 ;47.
出 版 社:European Association of Software Science and Technology (EASST)
文 章 ID:100465480
作 者:Guilherme Rangel ;Barbara König ;Hartmut Ehrig
出 处:Electronic Communications of the EASST. 2007 ;6.
出 版 社:European Association of Software Science and Technology (EASST)
文 章 ID:100465647
作 者:Christoph Blume ;Sander Bruggink ;Barbara König
出 处:Electronic Communications of the EASST. 2010 ;29.
出 版 社:European Association of Software Science and Technology (EASST)
文 章 ID:100465715
作 者:Frank Hermann ;Andrea Corradini ;Hartmut Ehrig 等
出 处:Electronic Communications of the EASST. 2010 ;29.
出 版 社:European Association of Software Science and Technology (EASST)
文 章 ID:100465748
作 者:Frank Hermann ;Mathias Hülsbusch ;Barbara König
出 处:Electronic Communications of the EASST. 2010 ;30.
出 版 社:European Association of Software Science and Technology (EASST)
文 章 ID:100465858
作 者:Sebastian Küpper ;Barbara König ;H.J. Sander Bruggink
出 处:Electronic Communications of the EASST. 2013 ;58.
出 版 社:European Association of Software Science and Technology (EASST)
文 章 ID:100465917
作 者:Barbara König ;Anna K. Lindholm ;Patricia C. Lopes 等
出 处:Animal Biotelemetry. 2015 ;3(1):39.doi:10.1186/s40317-015-0069-0
出 版 社:BioMed Central
文 章 ID:112567258
作 者:Paolo Baldan ;Andrea Corradini ;Hartmut Ehrig 等
出 处:Logical Methods in Computer Science. 2008 ;4(04).doi:10.2168/LMCS-4(4:3)2008
出 版 社:Technical University of Braunschweig
文 章 ID:47109809
作 者:Henning Kerstan ;Barbara König
出 处:Logical Methods in Computer Science. 2013 ;9(4):1.doi:10.2168/LMCS-9(4:16)2013
出 版 社:Technical University of Braunschweig
文 章 ID:264692197