作 者:Giorgio Bacci ;Davide Grohmann ;Marino Miculan
出 处:Electronic Proceedings in Theoretical Computer Science. 2009 ;11:3-18.doi:10.4204/EPTCS.11.1
出 版 社:Open Publishing Association
文 章 ID:83119773
作 者:Giorgio Bacci ;Davide Grohmann ;Marino Miculan
出 处:Electronic Proceedings in Theoretical Computer Science. 2009 ;11:19-33.doi:10.4204/EPTCS.11.2
出 版 社:Open Publishing Association
文 章 ID:83119774
作 者:Giorgio Bacci ;Marino Miculan
出 处:Electronic Proceedings in Theoretical Computer Science. 2010 ;40:6-22.doi:10.4204/EPTCS.40.2
出 版 社:Open Publishing Association
文 章 ID:83120058
作 者:Marino Miculan ;Ilaria Sambarino
出 处:Electronic Proceedings in Theoretical Computer Science. 2012 ;100:82-100.doi:10.4204/EPTCS.100.6
出 版 社:Open Publishing Association
文 章 ID:83120631
作 者:Davide Grohmann ;Marino Miculan
出 处:Electronic Communications of the EASST. 2010 ;29.
出 版 社:European Association of Software Science and Technology (EASST)
文 章 ID:100465660
作 者:Davide Grohmann ;Marino Miculan
出 处:Electronic Communications of the EASST. 2008 ;10.
出 版 社:European Association of Software Science and Technology (EASST)
文 章 ID:100466053
作 者:Alessio Mansutti ;Marino Miculan ;Marco Peressotti
出 处:Electronic Communications of the EASST. 2014 ;71.
出 版 社:European Association of Software Science and Technology (EASST)
文 章 ID:110617877
作 者:Davide Grohmann ;Marino Miculan
出 处:Electronic Communications of the EASST. 2009 ;16.
出 版 社:European Association of Software Science and Technology (EASST)
文 章 ID:185438095
作 者:Alessio Mansutti ;Marino Miculan ;Marco Peressotti
出 处:Electronic Communications of the EASST. 2015 ;71.
出 版 社:European Association of Software Science and Technology (EASST)
文 章 ID:185430535