Archive Files for "Formal Methods for Specification"

Article View: comp.specification.z

Article #39

Back to comp.specification.z Previous Next

#39

From: Archana Sathaye
Date: Mon, 13 Apr 1992 15:50

18 lines
1081 bytes

Hi, 

I saw a note indicating where the archives files for the
discussion on "formal methods for specification" are located.
It was mentioned that the files are on lth.se in
pub/netnews/specification. My question is,

"What Log-in do I use to get on to lth.se"?
I tried "anonymous" (username and password) and
"guest" and it did not work.

Could someone out there please let me know, how I
get to these files?


                                    Thanks,
                                    Archana

Technical Details

Message-ID: <1992Apr13.155019.22654@fs7.ece.cmu.edu>

Path:

arc1-ca.pugleaf.net!sparky!uunet!spool.mu.edu!uwm.edu!rutgers!rochester!cantaloupe.srv.cs.cmu.edu!crabapple.srv.cs.cmu.edu!fs7.ece.cmu.edu!galley.ece.cmu.edu!asathaye

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!spool.mu.edu!uwm.edu!rutgers!rochester!cantaloupe.srv.cs.cmu.edu!crabapple.srv.cs.cmu.edu!fs7.ece.cmu.edu!galley.ece.cmu.edu!asathaye
From: asathaye@galley.ece.cmu.edu (Archana Sathaye)
Newsgroups: comp.specification.z
Subject: Archive Files for "Formal Methods for Specification"
Message-ID: <1992Apr13.155019.22654@fs7.ece.cmu.edu>
Date: 13 Apr 92 15:50:19 GMT
Article-I.D.: fs7.1992Apr13.155019.22654
Sender: news@fs7.ece.cmu.edu (USENET News System)
Organization: Electrical and Computer Engineering, Carnegie Mellon
Lines: 18