作 者:Jonathan Kochems ;C.H. Luke Ong
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;10:187-202.doi:10.4230/LIPIcs.RTA.2011.187
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186845920