作 者:St{\'e}phane Gimenez ;Georg Moser
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;23:316-331.doi:10.4230/LIPIcs.CSL.2013.316
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186846346
作 者:St{\'e}phane Gimenez ;David Obwaller
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;52:35:1-35:11.doi:10.4230/LIPIcs.FSCD.2016.35
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186847467