作 者:Majumdar, Anirban ;Bouyer, Patricia ;Bertrand, Nathalie
出 处:Logical Methods in Computer Science. 2021 ;17(1):1-19.
出 版 社:Technical University of Braunschweig
文 章 ID:1035318231
作 者:Bouyer, Patricia ;Oualhadj, Youssouf ;Randour, Mickael 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;203.doi:10.4230/LIPIcs.CONCUR.2021.26
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:1037088712
作 者:Bordais, Benjamin ;Bouyer, Patricia ;Le Roux, Stéphane
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;213.doi:10.4230/LIPIcs.FSTTCS.2021.41
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:1037089158