TY  - BOOK
AU  - Mogavero,Fabio
TI  - Logics in computer science: a study on extensions of temporal and strategic logics
SN  - 9789491216947
U1  - 005.1015113 
PY  - 2013///
CY  - Paris
PB  - Atlantis Press
KW  - Computer Science
KW  - Computer Logic
KW  - Logic Design
N1  - Includes bibliography and index
ER  -