urn:nbn:se:liu:diva-74984: Temporal Logic : A Standard Approach

LiU Electronic Press

Advanced search -
research publications

Advanced search -
student theses

English Svenska Norsk

Full-text not available in DiVA

Create reference »

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

URL:

Find book at a Swedish library/Hitta boken i ett svenskt bibliotek

Find book in another country/Hitta boken i ett annat land

Subject category:

Engineering and Technology

Available from:

2012-02-13

Created:

2012-02-13

Last updated:

2012-02-21

Statistics:

13 hits

© 2000-2012 |

|

|

|

LiU University Library

|

|