( en | de | ru )

 

Disambiguierung von "Fujita, Masahiro"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Symbolic Model Checking Using SAT Procedures instead of BDDs.

, , , , und . DAC, Seite 317-320. ACM Press, (1999)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Toko Fujita

Masahiro Noguchi

Buntaro Fujita

Masahiro Ogawa

Masahiro Yoshida

 

Weitere Publikationen von Autoren mit dem selben Namen

Tokio: Logic Programming Language Based on Temporal Logic and its Compilation to Prolog., , , und . ICLP, Volume 225 von Lecture Notes in Computer Science, Seite 695-709. Springer, (1986)Verification of Event-Based Synchronization of SpecC Description Using Difference Decision Diagrams., und . FORTE, Volume 2529 von Lecture Notes in Computer Science, Seite 369. Springer, (2002)SDR-4X II: A Small Humanoid as an Entertainer in Home Environment., , , , und . ISRR, Volume 15 von Springer Tracts in Advanced Robotics, Seite 355-364. Springer, (2003)Program Slicing of Hardware Description Languages., , , , , und . CHARME, Volume 1703 von Lecture Notes in Computer Science, Seite 298-312. Springer, (1999)A 48 MHz 880-nW Standby Power Normally-Off MCU with 1 Clock Full Backup and 4.69-μs Wakeup Featuring 60-nm Crystalline In-Ga-Zn Oxide BEOL-FETs., , , , , , , , , und 1 andere Autor(en). VLSI Circuits, Seite 48-. IEEE, (2019)ATM Switch Design: Parametric High-Level Modeling and Formal Verification., und . AMAST, Volume 1349 von Lecture Notes in Computer Science, Seite 437-450. Springer, (1997)An Image-Based CAPTCHA Using Sophisticated Mental Rotation., , , , und . HCI (24), Volume 8533 von Lecture Notes in Computer Science, Seite 57-68. Springer, (2014)Model Checking Based on Sequential ATPG., , , und . CAV, Volume 1633 von Lecture Notes in Computer Science, Seite 418-430. Springer, (1999)Verification of Arithmetic Circuits by Comparing Two Similar Circuits.. CAV, Volume 1102 von Lecture Notes in Computer Science, Seite 159-168. Springer, (1996)Analysis and testing on delays with two time frames.. VLSI-SoC, Seite 13-18. IEEE, (2015)