作 者:Diletta Cacciagrano ;Flavio Corradini ;Emanuela Merelli 等
出 处:Electronic Proceedings in Theoretical Computer Science. 2010 ;40:70-84.doi:10.4204/EPTCS.40.6
出 版 社:Open Publishing Association
文 章 ID:83120062
作 者:Flavio Corradini ;Diletta Cacciagrano ;Catuscia Palamidessi
出 处:Logical Methods in Computer Science. 2009 ;5(02).doi:10.2168/LMCS-5(2:15)2009
出 版 社:Technical University of Braunschweig
文 章 ID:47208398