FAQ for this group ?

Article View: comp.specification

Article #50

Back to comp.specification Previous Next

#50

From: Bruno Berstel
Date: Thu, 30 Jul 1992 19:18

16 lines
1281 bytes

Is there a FAQ list for comp.specification ? I couldn't find any on
ftp.uu.net.

I was/am looking for a place where the use, bugs, etc. of Veda is discussed.
(Veda is a simulator for specifications written in Estelle.)

Please e-mail to not waste additionnal bandwidth :-)
Bruno.
-- 
-----     -----     -----     -----     -----     -----     -----     -----
Bruno Berstel                                         berstel@lacim.uqam.ca
Laboratoire de Combinatoire et d'Informatique Mathematique       L.A.C.I.M.
Universite du Quebec a Montreal                                    U.Q.A.M.
(Tele)phone : (514) 987-8495                           Fax : (514) 987-8477
---------------     ---------------     ---------------     ---------------
                    Noel en hiver, Paques au printemps.

Technical Details

Message-ID: <1992Jul30.191824.10865@cari.telecom.uqam.ca>

Path: arc1-ca.pugleaf.net!sparky!uunet!bonnie.concordia.ca!cari.telecom.uqam.ca!mipsmath.math.uqam.ca!berstel

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!bonnie.concordia.ca!cari.telecom.uqam.ca!mipsmath.math.uqam.ca!berstel
From: berstel@mipsmath.math.uqam.ca (Bruno Berstel)
Newsgroups: comp.specification
Subject: FAQ for this group ?
Message-ID: <1992Jul30.191824.10865@cari.telecom.uqam.ca>
Date: 30 Jul 92 19:18:24 GMT
Sender: news@cari.telecom.uqam.ca
Reply-To: berstel@lacim.uqam.ca (Bruno Berstel)
Organization: Universite du Quebec a Montreal
Lines: 16
Nntp-Posting-Host: mipsmath