James Scott-Brown, Antonis Papachristodoulou. Visualization of Temporal Logic Specifications. In Anna Puig, Tobias Isenberg 0001, editors, Eurographics Conference on Visualization, EuroVis 2017, Posters, Barcelona, Spain, 12-16 June 2017. pages 117-119, Eurographics Association, 2017. [doi]
@inproceedings{Scott-BrownP17,
title = {Visualization of Temporal Logic Specifications},
author = {James Scott-Brown and Antonis Papachristodoulou},
year = {2017},
doi = {10.2312/eurp.20171183},
url = {https://doi.org/10.2312/eurp.20171183},
researchr = {https://researchr.org/publication/Scott-BrownP17},
cites = {0},
citedby = {0},
pages = {117-119},
booktitle = {Eurographics Conference on Visualization, EuroVis 2017, Posters, Barcelona, Spain, 12-16 June 2017},
editor = {Anna Puig and Tobias Isenberg 0001},
publisher = {Eurographics Association},
}