作 者:Katerina B{\"o}hmov{\'a ;Mat{\'u}{\v{s}} Mihal{\'a}k ;Peggy Neubert 等
出 处:OASIcs : OpenAccess Series in Informatics. 2015 ;48:68-81.doi:10.4230/OASIcs.ATMOS.2015.68
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186848871