出 处:Electronic Communications of the EASST. 2010 ;38(0).
出 版 社:European Association of Software Science and Technology (EASST)
文 章 ID:100465569
作 者:Corradini, Andrea ;Tuosto, Emilio
出 处:Electronic Communications of the EASST. 2008 ;16(0).
出 版 社:European Association of Software Science and Technology (EASST)
文 章 ID:100466096
作 者:Montanari, Ugo ;Melgratti, Hernan ;Gadducci, Fabio 等
出 处:Logical Methods in Computer Science. 2018 ;14(3).doi:10.23638/LMCS-14(3:25)2018
出 版 社:Technical University of Braunschweig
文 章 ID:1021277418