Carlos Caleiro, Gunter Saake, Amílcar Sernadas. Deriving Liveness Goals from Temporal Logic Specifications. Journal of Symbolic Computation, 22(5/6):521-553, 1996.
@article{CaleiroSS96,
title = {Deriving Liveness Goals from Temporal Logic Specifications},
author = {Carlos Caleiro and Gunter Saake and Amílcar Sernadas},
year = {1996},
tags = {logic},
researchr = {https://researchr.org/publication/CaleiroSS96},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Computation},
volume = {22},
number = {5/6},
pages = {521-553},
}