Handbook of theoretical computer science (vol. B)
Efficient implementation of a BDD package
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
EURO-DAC '92 Proceedings of the conference on European design automation
High-level transformations for minimizing syntactic variances
DAC '93 Proceedings of the 30th international Design Automation Conference
Specification and design of embedded systems
Specification and design of embedded systems
Behavioral synthesis methodology for HDL-based specification and validation
DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference
Model checking in industrial hardware design
DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference
Synthesis of software programs for embedded control application
DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference
Fast discrete function evaluation using decision diagrams
ICCAD '95 Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design
Analysis of cyclic combinational circuits
ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design
Synchronous Programming of Reactive Systems
Synchronous Programming of Reactive Systems
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Switching and Finite Automata Theory: Computer Science Series
Switching and Finite Automata Theory: Computer Science Series
Comparing Layouts with HDL Models: A Formal Verification Technique
ICCD '92 Proceedings of the 1991 IEEE International Conference on Computer Design on VLSI in Computer & Processors
Semantics of Reactive Systems in Abstract Time
Proceedings of the Real-Time: Theory in Practice, REX Workshop
Constructive Analysis of Cyclic Circuits
EDTC '96 Proceedings of the 1996 European conference on Design and Test
An application of a Synchronous/ Reactive Semantics
An application of a Synchronous/ Reactive Semantics
Full abstraction and semantic equivalence
Full abstraction and semantic equivalence
Interfacing system description languages to formal verification
Interfacing system description languages to formal verification
Hi-index | 0.00 |