From: tunlee_at_hotmail.com
Date: Sat Dec 04 2004 - 05:58:37 MST
Hi, Wen
You can download it from this link:
http://citeseer.ist.psu.edu/ranjan94efficient.html
Best regards
Tun Li
----- Original Message -----
From: XU Xing Wen
To: vis-users_at_lists.colorado.edu
Sent: Saturday, December 04, 2004 4:11 PM
Subject: Ask for the referenced paper "Efficient Formal Design Verification: Structure+Algorithm"
Hi,
Can the paper "Efficient Formal Design Verification: Structure + Algorithm" be shared?
This documentation was referenced as important for VIS development.
I hope to do some academic research development with VIS,
So I hope to read it before I come to the source codes.
Thank you very much.
This archive was generated by hypermail 2.1.7 : Sat Dec 04 2004 - 06:06:16 MST