Kashiwabara Toshinobu | Department Of Bioinformatic Engineering Guraduate School Of Information Science And Technology Osaka
スポンサーリンク
概要
- KASHIWABARA Toshinobuの詳細を見る
- 同名の論文著者
- Department Of Bioinformatic Engineering Guraduate School Of Information Science And Technology Osakaの論文著者
Department Of Bioinformatic Engineering Guraduate School Of Information Science And Technology Osaka | 論文
- Verifying Signal-Transition Consistency of High-Level Designs Based on Symbolic Simulation(Special Issue on Test and Verification of VLSI)
- A Partially Explicit Method for Efficient Symbolic Checking of Language Containment (Special Section on VLSI Design and CAD Algorithms)
- Regular Temporal Logic Expressively Equivalent to Finite Automata and Its Application to Logic Design Verification
- On the Power of Non-deterministic Quantum Finite Automata(Special Issue on Selected Papers from LA Symposium)
- An Exponential Lower Bound on the Size of a Binary Moment Diagram Representing Integer Division (Special Section on Discrete Mathematics and Its Applications)