| Title: | Shadow of comp.realtime News group |
| Moderator: | ALFAM1::GAUTHIER |
| Created: | Thu Feb 18 1993 |
| Last Modified: | Thu Apr 04 1996 |
| Last Successful Update: | Fri Dec 20 1996 |
| Number of topics: | 3164 |
| Total number of notes: | 7886 |
| T.R | Title | User | Personal Name | Date | Lines |
|---|---|---|---|---|---|
| 2163.1 | Re: Need document for proof in temporal logic | ::Dr. Richard Botting | dick@silicon.csci.csusb.edu (Dr. Richard Botting) | Wed Mar 08 1995 15:05 | 52 |
| 2163.2 | Re: Need document for proof in temporal logic | ::Arnulf Mester | mester@ls4.informatik.uni-dortmund.de (Arnulf Mester) | Fri Mar 10 1995 09:07 | 39 |
| 2163.3 | Re: Need document for proof in temporal logic | ::Luis VEGA | lvegasae@picsou.ensem.u-nancy.fr (Luis VEGA) | Sun Mar 12 1995 02:09 | 60 |