1. Feng Chia University Institutional Repository

瀏覽 的方式： 作者 Jeong, Cheoljoo

跳到： 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
或是輸入前幾個字：  
顯示 1 到 1 筆資料，總共 1 筆
題名作者日期
A faster parallel implementation of the kanellakis-smolka algorithm for bisimilarity checkingJeong, Cheoljoo; Kim, Youngchan; Oh, Youngbae2006-10-17T08:15:38Z
顯示 1 到 1 筆資料，總共 1 筆