作 者:Maribel Fernández ;Murdoch J. Gabbay
出 处:Electronic Proceedings in Theoretical Computer Science. 2010 ;34:37-51.doi:10.4204/EPTCS.34.5
出 版 社:Open Publishing Association
文 章 ID:83120005
作 者:Murdoch J. Gabbay ;Dominic P. Mulligan
出 处:Electronic Proceedings in Theoretical Computer Science. 2011 ;71:58-75.doi:10.4204/EPTCS.71.5
出 版 社:Open Publishing Association
文 章 ID:83120344
作 者:Murdoch J. Gabbay ;Dan R. Ghica ;Daniela Petrisan
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;41:374-389.doi:10.4230/LIPIcs.CSL.2015.374
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186847058