Article View: sci.logic
Article #230Literatures on Temporal Logic
From: Ningjian Huang
Date: Mon, 25 Feb 1991 03:49
Date: Mon, 25 Feb 1991 03:49
6 lines
658 bytes
658 bytes
HELP WANTED!!! I lost my copy of the list of literatures about temporal logic posted in this news group months ago. I will appreciate very much if someone e-mails me a copy of that news. Any other information on this subject is welcome. Thanks.
Technical Details
Message-ID:
<5255@vela.acs.oakland.edu>Path:
arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!samsung!umich!vela!nhuangShow Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!samsung!umich!vela!nhuang From: nhuang@vela.acs.oakland.edu (Ningjian Huang) Newsgroups: sci.logic,comp.theory Subject: Literatures on Temporal Logic Message-ID: <5255@vela.acs.oakland.edu> Date: 25 Feb 91 03:49:31 GMT Followup-To: poster Organization: Oakland University, Rochester MI. Lines: 5