BibTex format
@inbook{Harrison:1994,
author = {Harrison, PG and Gabbay, DM and Strulo, B},
booktitle = {Time and Logic},
editor = {Bolk and Szalas},
publisher = {UCL Press},
title = {Temporal logic in a stochastic environment},
year = {1994}
}
Publications
Citation
RIS format (EndNote, RefMan)
TY - CHAP
AU - Harrison,PG
AU - Gabbay,DM
AU - Strulo,B
PB - UCL Press
PY - 1994///
TI - Temporal logic in a stochastic environment
T1 - Time and Logic
ER -