作 者:Soren Bjerg Andersen ;Jakob Grue Simonsen
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;15:53-68.doi:10.4230/LIPIcs.RTA.2012.53
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186846076