作 者:Wojciech Czerwiński ;Sławomir Lasota
出 处:Electronic Proceedings in Theoretical Computer Science. 2012 ;89:35-48.doi:10.4204/EPTCS.89.4
出 版 社:Open Publishing Association
文 章 ID:83120518
作 者:Wojciech Czerwiński ;Piotr Hofman ;Sławomir Lasota
出 处:Logical Methods in Computer Science. 2013 ;9(3):1.doi:10.2168/LMCS-9(3:13)2013
出 版 社:Technical University of Braunschweig
文 章 ID:264692021