Kevin Lano. Logical Specification of Reactive and Real-Time Systems. Journal of Logic and Computation, 8(5):679-711, 1998.
@article{Lano98,
title = {Logical Specification of Reactive and Real-Time Systems},
author = {Kevin Lano},
year = {1998},
researchr = {https://researchr.org/publication/Lano98},
cites = {0},
citedby = {0},
journal = {Journal of Logic and Computation},
volume = {8},
number = {5},
pages = {679-711},
}