作　　者：Elise A. Piazza ;Frédéric E. Theunissen ;David Wessel 等

出　　处：Scientific Reports. 2018 ;8(1):13826.doi:10.1038/s41598-018-32018-9

出 版 社：Springer Nature

文 章 ID：218189357

作　　者：Elise A. Piazza ;Frédéric E. Theunissen ;David Wessel 等

出　　处：Scientific Reports. 2020 ;10(1):1-1.doi:10.1038/s41598-020-59861-z

出 版 社：Springer Nature

文 章 ID：260565474

作　　者：Daniel J. Fremont ;Alexandre Donz{\'e ;Sanjit A. Seshia 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;45:463-474.doi:10.4230/LIPIcs.FSTTCS.2015.463

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

文 章 ID：186847204