作　　者：Pedro Rangel Henriques ;Jos{\'e} Paulo Leal ;Ant{\'o}nio Menezes Leit{\~a}o 等

出　　处：OASIcs : OpenAccess Series in Informatics. 2018 ;62:0:i-0:xiv.doi:10.4230/OASIcs.SLATE.2018.0

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：220015487

作　　者：Bruno Ferreira ;Ant{\'o}nio Menezes Leit{\~a}o

出　　处：OASIcs : OpenAccess Series in Informatics. 2018 ;62:7:1-7:14.doi:10.4230/OASIcs.SLATE.2018.7

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：220015494

作　　者：Jaime Filipe Jorge ;Ant{\'o}nio Menezes Leit{\~a}o

出　　处：OASIcs : OpenAccess Series in Informatics. 2012 ;21:107-122.doi:10.4230/OASIcs.SLATE.2012.107

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：186848478

作　　者：Pedro Palma Ramos ;Ant{\'o}nio Menezes Leit{\~a}o

出　　处：OASIcs : OpenAccess Series in Informatics. 2014 ;38:127-141.doi:10.4230/OASIcs.SLATE.2014.127

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：186848736