作 者:Sung-Shik T.Q. Jongmans ;Farhad Arbab
出 处:Electronic Proceedings in Theoretical Computer Science. 2013 ;109:34-45.doi:10.4204/EPTCS.109.6
出 版 社:Open Publishing Association
文 章 ID:85356956
作 者:Young-Joo Moon ;Alexandra Silva ;Christian Krause 等
出 处:Electronic Proceedings in Theoretical Computer Science. 2010 ;30:93-107.doi:10.4204/EPTCS.30.7
出 版 社:Open Publishing Association
文 章 ID:83119962
作 者:José Proença ;Dave Clarke ;Erik de Vink 等
出 处:Electronic Proceedings in Theoretical Computer Science. 2011 ;58:65-79.doi:10.4204/EPTCS.58.5
出 版 社:Open Publishing Association
文 章 ID:83120210
作 者:Sung-Shik T.Q. Jongmans ;Farhad Arbab
出 处:Electronic Proceedings in Theoretical Computer Science. 2011 ;59:84-103.doi:10.4204/EPTCS.59.8
出 版 社:Open Publishing Association
文 章 ID:83120219
作 者:Natallia Kokash ;Farhad Arbab ;Behnaz Changizi 等
出 处:Electronic Proceedings in Theoretical Computer Science. 2011 ;60:19-35.doi:10.4204/EPTCS.60.2
出 版 社:Open Publishing Association
文 章 ID:83120225
作 者:Christian Koehler ;David Costa ;Jose Proenca 等
出 处:Electronic Communications of the EASST. 2008 ;10.
出 版 社:European Association of Software Science and Technology (EASST)
文 章 ID:100465566
作 者:Richard Banach Farhad Arbab George A. Papadopoulos John R. W. Glauert
出 处:Journal of Universal Computer Science. 2003 ;9(1).doi:10.3217/jucs-009-01-0002
出 版 社:Graz University of Technology and Know-Center
文 章 ID:47163120
作 者:Sung-Shik Jongmans ;Farhad Arbab
出 处:Logical Methods in Computer Science. 2016 ;12(3):1.doi:10.2168/LMCS-12(3:11)2016
出 版 社:Technical University of Braunschweig
文 章 ID:264692239
作 者:Richard Banach ;Farhad Arbab ;George A. Papadopoulos 等
出 处:Journal of Universal Computer Science. 2003 ;9(1):2-33.
出 版 社:Graz University of Technology and Know-Center
文 章 ID:186874879