作 者:Ana de Almeida Borges ;Juan Jos Conejero Rodr{\'\i}guez ;David Fern{\'a}ndez-Duque 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;147:1-16.doi:10.4230/LIPIcs.TIME.2019.6
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:240116381
作 者:Joseph Boudou ;Mart{\'i}n Di{\'e}guez ;David Fern{\'a}ndez-Duque
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;82:14:1-14:17.doi:10.4230/LIPIcs.CSL.2017.14
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:200735080