作 者:Uli Fahrenberg ;Claus Thrane ;Kim G. Larsen
出 处:Electronic Proceedings in Theoretical Computer Science. 2011 ;57:134-147.doi:10.4204/EPTCS.57.10
出 版 社:Open Publishing Association
文 章 ID:83120202
作 者:Uli Fahrenberg ;Axel Legay
出 处:Electronic Proceedings in Theoretical Computer Science. 2012 ;87:5-16.doi:10.4204/EPTCS.87.2
出 版 社:Open Publishing Association
文 章 ID:83120510
作 者:Benoît Delahaye ;Uli Fahrenberg ;Kim Larsen 等
出 处:Logical Methods in Computer Science. 2014 ;10(3):1.doi:10.2168/LMCS-10(3:11)2014
出 版 社:Technical University of Braunschweig
文 章 ID:264692135
作 者:Uli Fahrenberg ;Axel Legay ;Claus Thrane
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;13:103-114.doi:10.4230/LIPIcs.FSTTCS.2011.103
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186845871
作 者:Uli Fahrenberg ;Axel Legay
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;35:101-115.doi:10.4230/LIPIcs.CALCO.2015.101
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186847097
作 者:David Cachera ;Uli Fahrenberg ;Axel Legay
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;45:394-407.doi:10.4230/LIPIcs.FSTTCS.2015.394
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186847199
作 者:Kim G. Larsen ;Uli Fahrenberg ;Claus Thrane
出 处:OASIcs : OpenAccess Series in Informatics. 2009 ;13:10-17.doi:10.4230/DROPS.MEMICS.2009.2345
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186848344
作 者:Uli Fahrenberg
出 处:IFAC PapersOnLine. 2018 ;51(16):109-114.doi:10.1016/j.ifacol.2018.08.019
出 版 社:Elsevier
文 章 ID:1020058118