Article View: comp.dcom.lans.misc
Article #385"Model-Based Diagnosis of Communication Protocols"
From: Marc Riese
Date: Fri, 17 Dec 1993 16:08
Date: Fri, 17 Dec 1993 16:08
16 lines
1665 bytes
1665 bytes
A recent doctoral dissertation entitled
"Model-Based Diagnosis of Communication Protocols"
is now available by anonymous ftp at site: litsun.epfl.ch
Once the ftp connection is established, change to directory
pub/Protocol_Testing_and_Diagnosis.
Please feel free to contact me at: riese@acm.org
if you have any problems or questions.
Marc Riese
Swiss Federal Institute of Technology riese@acm.org
EPFL-LIT IN-Ecublens CH-1015 tel +41.21.693.4672
Lausanne, Switzerland fax +41.21.693.4701
Technical Details
Message-ID:
<2eslij$7ad@disuns2.epfl.ch>Path:
arc1-ca.pugleaf.net!gmd.de!newsserver.jvnc.net!howland.reston.ans.net!xlink.net!scsing.switch.ch!swidir.switch.ch!epflnews!disuns2.epfl.ch!litsun!rieseShow Full Headers
Complete Article Headers
X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: f4e50,3e5ef09dfefccdb2,start X-Google-Attributes: gidf4e50,public X-Google-Thread: 11109d,3e5ef09dfefccdb2,start X-Google-Attributes: gid11109d,public X-Google-Thread: f8cd8,3e5ef09dfefccdb2,start X-Google-Attributes: gidf8cd8,public X-Google-Thread: 1241e3,3e5ef09dfefccdb2,start X-Google-Attributes: gid1241e3,public X-Google-Thread: 10461e,3e5ef09dfefccdb2,start X-Google-Attributes: gid10461e,public X-Google-ArrivalTime: 1993-12-17 11:49:06 PST Path: arc1-ca.pugleaf.net!gmd.de!newsserver.jvnc.net!howland.reston.ans.net!xlink.net!scsing.switch.ch!swidir.switch.ch!epflnews!disuns2.epfl.ch!litsun!riese From: riese@litsun.epfl.ch (Marc Riese) Newsgroups: comp.dcom.lans.misc,comp.dcom.telecom.tech,ch.network,ch.si.sgaico,comp.ai Subject: "Model-Based Diagnosis of Communication Protocols" Followup-To: poster Date: 17 Dec 1993 16:08:51 GMT Organization: Ecole Polytechnique Federale de Lausanne Lines: 17 Message-ID: <2eslij$7ad@disuns2.epfl.ch> NNTP-Posting-Host: litsun31.epfl.ch