LiU Electronic Press
Full-text not available in DiVA
Author:
Szalas, Andrzej (University of Warsaw)
Title:
Temporal Logic: A Standard Approach
Publication type:
Chapter in book (Refereed)
Language:
English
In:
Time And Logic: A Computational Approach
Editor:
Leonard Bolc, Andrzej Szalas
Place of publ.: London Publisher: UCL Press Ltd.
Pages:
1-50
Year of publ.:
1995
URI:
urn:nbn:se:liu:diva-74984
Permanent link:
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-74984
ISBN:
1-85728-233-7, 978-1857282337
Subject category:
Engineering and Technology
Available from:
2012-02-13
Created:
2012-02-13
Last updated:
2012-02-21
Statistics:
15 hits