作　　者：宮崎 邦彦 ;David BASIN ;來間 啓伸 等

出　　处：コンピュータ ソフトウェア. 2005 ;22(2):2_74-2_84.doi:10.11309/jssst.22.2_74

出 版 社：Japan Society for Software Science and Technology

文 章 ID：104502568

作　　者：来間 啓伸 ;Burkhart WOLFF ;David BASIN 等

出　　处：コンピュータ ソフトウェア. 2007 ;24(2):2_21-2_26.doi:10.11309/jssst.24.2_21

出 版 社：Japan Society for Software Science and Technology

文 章 ID：104502666

作　　者：Martin Raszyk ;David Basin ;Dmitriy Traytel

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;132:1-14.doi:10.4230/LIPIcs.ICALP.2019.127

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

文 章 ID：238892262

作　　者：David Basin ;Felix Klaedtke ;Samuel M{\"u}ller 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2008 ;2:49-60.doi:10.4230/LIPIcs.FSTTCS.2008.1740

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

文 章 ID：186845518

作　　者：David Basin ;Felix Klaedtke ;Eugen Zalinescu

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;45:590-603.doi:10.4230/LIPIcs.FSTTCS.2015.590

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

文 章 ID：186847213