さすがに、前の論文はふるかったので、最新のバークレーの 論文をみつけた Synthesizing FSMs According to co-bu chi Properties, G. Wang, A. Mishchenko, Robert K. Brayton and Alberto L. Sangiovanni-VincentelliどうもRobert K. Brayton先生が親玉ら…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。