The complexity of propositional linear temporal logics
Journal of the ACM (JACM)
Handbook of theoretical computer science (vol. A): algorithms and complexity
Handbook of theoretical computer science (vol. A): algorithms and complexity
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
VHDL/S—integrating statecharts, timing diagrams, and VHDL
EUROMICRO 93 Nineteenth EUROMICRO symposium on microprocessing and microprogramming on Open system design : hardware, software and applications: hardware, software and applications
Verification of a production cell using an automatic verification environment for VHDL
EURO-DAC '95/EURO-VHDL '95 Proceedings of the conference on European design automation
Specification and verification of VHDL-based system-level hardware designs
Specification and validation methods
Formal Development of Reactive Systems - Case Study Production Cell
Formal Development of Reactive Systems - Case Study Production Cell
Formal Development of Reactive Systems - Case Study Production Cell
On the Relation of Programs and Computations to Models of Temporal Logic
Temporal Logic in Specification
Verification of a production cell using an automatic verification environment for VHDL
EURO-DAC '95/EURO-VHDL '95 Proceedings of the conference on European design automation
Hi-index | 0.00 |