作 者:Emmanuel Ohayon ;Matthieu Lemerre ;Vincent David
出 处:Electronic Proceedings in Theoretical Computer Science. 2010 ;29:32-43.doi:10.4204/EPTCS.29.4
出 版 社:Open Publishing Association
文 章 ID:83119953
作 者:Jean Guyomarc'h ;Fran{\c{c}}ois Guerret ;Bilal El Mejjati 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;178:13:1-13:15.doi:10.4230/LIPIcs.TIME.2020.13
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:255822671