P. S. Thiagarajan, Jesper G. Henriksen. Distributed Versions of Linear Time Temporal Logic: A Trace Perspective. In Wolfgang Reisig, Grzegorz Rozenberg, editors, Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl, September 1996. Volume 1491 of Lecture Notes in Computer Science, pages 643-681, Springer, 1996.
@inproceedings{ThiagarajanH96,
title = {Distributed Versions of Linear Time Temporal Logic: A Trace Perspective},
author = {P. S. Thiagarajan and Jesper G. Henriksen},
year = {1996},
tags = {logic},
researchr = {https://researchr.org/publication/ThiagarajanH96},
cites = {0},
citedby = {0},
pages = {643-681},
booktitle = {Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl, September 1996},
editor = {Wolfgang Reisig and Grzegorz Rozenberg},
volume = {1491},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-65306-6},
}