作 者:Hendrik Tews ;Marcus Völp ;Tjark Weber
出 处:Electronic Proceedings in Theoretical Computer Science. 2012 ;102:73-87.doi:10.4204/EPTCS.102.8
出 版 社:Open Publishing Association
文 章 ID:83120648
作 者:Joachim Parrow ;Tjark Weber
出 处:Logical Methods in Computer Science. 2016 ;12(2):1.doi:10.2168/LMCS-12(2:11)2016
出 版 社:Technical University of Braunschweig
文 章 ID:264692089
作 者:Joachim Parrow ;Johannes Borgstr{\"o}m ;Lars-Henrik Eriksson 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;42:198-211.doi:10.4230/LIPIcs.CONCUR.2015.198
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186847010