作 者:John M. Hitchcock ;Aduri Pavan ;N. V. Vinodchandran
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2009 ;4:215-226.doi:10.4230/LIPIcs.FSTTCS.2009.2320
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186845603
作 者:Xiaoyang Gu ;John M. Hitchcock ;Aduri Pavan
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;5:429-440.doi:10.4230/LIPIcs.STACS.2010.2462
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186845662