Xref: utzoo sci.logic:1114 comp.theory:1576
Path: 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

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.


Brought to you by Super Global Mega Corp .com