Uninterpreted modelling system

Article View: comp.specification

Article #492

Back to comp.specification Previous Next

#492

From: Gary Putlock
Date: Thu, 21 Jan 1993 15:02

11 lines
865 bytes

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

Technical Details

Message-ID: <1jmdurINN5me@khan.protocol.zycad.com>

Path: arc1-ca.pugleaf.net!sparky!uunet!spool.mu.edu!yale.edu!newsserver.jvnc.net!badboy.protocol.zycad.com!putlock

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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