作　　者：R. Govind ;Frdric Herbreteau ;B. Srivathsan 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;140:1-15.doi:10.4230/LIPIcs.CONCUR.2019.16

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

文 章 ID：238891924

作　　者：Frédéric Herbreteau ;B. Srivathsan

出　　处：Logical Methods in Computer Science. 2013 ;9(1):1.doi:10.2168/LMCS-9(1:6)2013

出 版 社：Technical University of Braunschweig

文 章 ID：264691906

作　　者：Paul Gastin ;Sayan Mukherjee ;B Srivathsan

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;182:1-17.doi:10.4230/LIPIcs.FSTTCS.2020.47

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

文 章 ID：257805117

作　　者：Fr{\'e}d{\'e}ric Herbreteau ;Dileep Kini ;B. Srivathsan 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;13:78-89.doi:10.4230/LIPIcs.FSTTCS.2011.78

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

文 章 ID：186845869

作　　者：Fr{\'e}d{\'e}ric Herbreteau ;B. Srivathsan ;Thanh-Tung Tran 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;65:48:1-48:14.doi:10.4230/LIPIcs.FSTTCS.2016.48

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

文 章 ID：186848168

作　　者：M. Praveen ;B. Srivathsan

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;55:117:1-117:14.doi:10.4230/LIPIcs.ICALP.2016.117

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

文 章 ID：186847714

作　　者：Paul Gastin ;Sayan Mukherjee ;B. Srivathsan

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;118:1-17.doi:10.4230/LIPIcs.CONCUR.2018.28

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

文 章 ID：230213340