Efficient model checking for timing diagrams

Repository

Efficient model checking for timing diagrams

Show full record

Title: Efficient model checking for timing diagrams
Author: Amla, Nina
Abstract: Not available
Department: Computer Sciences
Subject: Computer systems Computer software
URI: http://hdl.handle.net/2152/1681
Date: 2001

Files in this work

Download File: amlan66229.pdf
Size: 5.151Mb
Format: application/pdf

This work appears in the following Collection(s)

Show full record


Advanced Search

Browse

My Account

Statistics

Information