home *** CD-ROM | disk | FTP | other *** search
- Path: sparky!uunet!spool.mu.edu!yale.edu!newsserver.jvnc.net!badboy.protocol.zycad.com!putlock
- From: putlock@protocol.zycad.com (Gary Putlock)
- Newsgroups: comp.specification
- Subject: Uninterpreted modelling system
- Date: 21 Jan 1993 10:02:51 -0500
- Organization: Protocol, a Division of ZYCAD Corporation
- Lines: 13
- Sender: putlock@khan.protocol.zycad.com
- Distribution: world
- Message-ID: <1jmdurINN5me@khan.protocol.zycad.com>
- Reply-To: dominick@protocol.zycad.com
- NNTP-Posting-Host: khan.protocol.zycad.com
- Keywords: Simulation, uninterpreted, modelling
-
-
- I am seeking information on the University of Virginia's uninterpreted modelling system. Any references, papers, etc. will be appreciated.
-
- Thanks in advance,
-
- Gary Putlock
- putlock@protocol.zycad.com
-
- Protocol, A Division of Zycad Corp.
- 500 International Dr.
- Mt. Olive, NJ 07828-1381
-
-
-