SPIN tool enquiry

Article View: comp.specification

Article #36

Back to comp.specification Previous Next

#36

From: Lim Chee Yong
Date: Tue, 21 Jul 1992 05:54

15 lines
919 bytes

I am looking for more information about the SPIN tool. Anybody
who knows about this tool, and where I can ftp the source, please 
send the info to me by e-mail.

Thanks in advance for any info.


Chee-Yong Lim,

cheeyong@iss.nus.sg
-- 
Lim Chee Yong				 Phone    : 65 - 772 - 3695
Institute of Systems Science  		 Fax      : 65 - 778 - 2571 
National University of Singapore         Internet : cheeyong@iss.nus.sg
Kent Ridge, Singapore 0511               Bitnet   : isslcy@nusvm.bitnet

Technical Details

Message-ID: <1992Jul21.055416.29097@nuscc.nus.sg>

Path: arc1-ca.pugleaf.net!sparky!uunet!wupost!darwin.sura.net!jvnc.net!nuscc!kolmogoroff!cheeyong

Show Full Headers

Complete Article Headers

Newsgroups: comp.specification
Path: arc1-ca.pugleaf.net!sparky!uunet!wupost!darwin.sura.net!jvnc.net!nuscc!kolmogoroff!cheeyong
From: cheeyong@kolmogoroff.iss.nus.sg (Lim Chee Yong)
Subject: SPIN tool enquiry
Message-ID: <1992Jul21.055416.29097@nuscc.nus.sg>
Originator: cheeyong@kolmogoroff
Sender: usenet@nuscc.nus.sg
Organization: Institute of Systems Science, NUS, Singapore
Date: Tue, 21 Jul 1992 05:54:16 GMT
Lines: 15