From: Xingwen XU (xuxingwen_at_fuji.waseda.jp)
Date: Sat Dec 04 2004 - 07:19:06 MST
Thanks so much. //hand.
-----Original Message-----
From: owner-vis-users_at_lists.colorado.edu
[mailto:owner-vis-users_at_lists.colorado.edu] On Behalf Of tunlee_at_hotmail.
com
Sent: 2004年12月4日 21:59
To: vis-users_at_lists.colorado.edu
Subject: Re: Ask for the referenced paper "Efficient Formal Design
Verification: Structure+Algorithm"
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 - 07:21:14 MST