About this scholarly article

2006 IEEE International High Level Design Validation and Test Workshop - Efficient Automata-Based Assertion-Checker Synthesis of PSL Properties by Boule, Marc; Zilic, Zeljko is a scholarly article available to read on EtoBox.

Author

Boule, Marc; Zilic, Zeljko

Publisher

IEEE

Published

2006