作　　者：Joan Feigenbaum ;Sampath Kannan ;Moshe Y. Vardi 等

出　　处：Chicago Journal of Theoretical Computer Science. 1999 ;1999.

出 版 社：MIT Press ; University of Chicago, Department of Computer Science

文 章 ID：85479212

作　　者：Dileep Kini ;Mahesh Viswanathan

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;93:35:1-35:13.doi:10.4230/LIPIcs.FSTTCS.2017.35

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

文 章 ID：220015420

作　　者：Remi Bonnet ;Rohit Chadha ;Mahesh Viswanathan 等

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

出 版 社：Technical University of Braunschweig

文 章 ID：264692012

作　　者：Rohit Chadha ;A. Prasad Sistla ;Mahesh Viswanathan

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;8:364-375.doi:10.4230/LIPIcs.FSTTCS.2010.364

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

文 章 ID：186845785

作　　者：Rohit Chadha ;A. Prasad Sistla ;Mahesh Viswanathan

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;119:1-23.doi:10.4230/LIPIcs.CSL.2018.14

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

文 章 ID：230213289

作　　者：P. Madhusudan ;Umang Mathur ;Shambwaditya Saha 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;119:1-19.doi:10.4230/LIPIcs.CSL.2018.31

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

文 章 ID：230213306

作　　者：Nima Roohi ;Pavithra Prabhakar ;Mahesh Viswanathan

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

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

文 章 ID：230213338

作　　者：Yu Wang ;Nima Roohi ;Matthew West 等

出　　处：IFAC PapersOnLine. 2018 ;51(16):85-90.doi:10.1016/j.ifacol.2018.08.015

出 版 社：Elsevier

文 章 ID：1020058114

作　　者：Yu Wang ;Nima Roohi ;Matthew West 等

出　　处：IFAC PapersOnLine. 2015 ;48(27):267-273.doi:10.1016/j.ifacol.2015.11.186

出 版 社：Elsevier

文 章 ID：1019285464