Linear Temporal Logic LTL: Basis for Admissible Rules

Bibliographic Details
Authors and Corporations: Babenyshev, S., Rybakov, V.
Title: Linear Temporal Logic LTL: Basis for Admissible Rules
In: Journal of Logic and Computation, 21, 2011, 2, p. 157-177
published:
Oxford University Press (OUP)
Physical Description:157-177
ISSN/ISBN: 0955-792X
1465-363X
Type of Resource:E-Article
Source:Oxford University Press (OUP) (CrossRef)
Language: Undetermined