作 者:M. Bartoletti ;E. Tuosto ;R. Zunino
出 处:Scientific Annals of Computer Science. 2012 ;XXII(1):5-60.doi:10.7561/SACS.2012.1.5
出 版 社:Alexandru Ioan Cuza University of Iasi
文 章 ID:84623212
作 者:L. Bocchi ;J. Lange ;E. Tuosto
出 处:Scientific Annals of Computer Science. 2012 ;XXII(1):61-104.doi:10.7561/SACS.2012.1.61
出 版 社:Alexandru Ioan Cuza University of Iasi
文 章 ID:84623213