|
From: | Yuwei Wong |
Subject: | NuSmv |
Date: | Mon, 13 Sep 2004 17:45:59 +0800 |
hello:there is a question about adding some function to my emaces. i used NuSmv in my Uni lab, then i download the NuSMV binaries Pre-compiled version , but i dont know how to get it work in my computer. r there any body can fix my problem? thx a lot.
NuSmv: http://nusmv.irst.itc.it/ Alex Wong _________________________________________________________________Add photos to your e-mail with MSN 8. Get 2 months FREE*. http://join.msn.com/?page=features/featuredemail
[Prev in Thread] | Current Thread | [Next in Thread] |