作 者:宮崎 邦彦 ;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