%0 Conference Paper %1 conf/vissym/Scott-BrownP17 %A Scott-Brown, James %A Papachristodoulou, Antonis %B EuroVis (Posters) %D 2017 %E Puig, Anna %E Isenberg, Tobias %I Eurographics Association %K dblp %P 117-119 %T Visualization of Temporal Logic Specifications. %U http://dblp.uni-trier.de/db/conf/vissym/p2017.html#Scott-BrownP17

@inproceedings{conf/vissym/Scott-BrownP17, added-at = {2019-10-19T00:00:00.000+0200}, author = {Scott-Brown, James and Papachristodoulou, Antonis}, biburl = {https://www.bibsonomy.org/bibtex/2d856ee482d649545eb57812e028c3273/dblp}, booktitle = {EuroVis (Posters)}, crossref = {conf/vissym/2017p}, editor = {Puig, Anna and Isenberg, Tobias}, ee = {https://doi.org/10.2312/eurp.20171183}, interhash = {23ae69992e8153172f39fa9dab416e42}, intrahash = {d856ee482d649545eb57812e028c3273}, keywords = {dblp}, pages = {117-119}, publisher = {Eurographics Association}, timestamp = {2019-10-22T15:27:18.000+0200}, title = {Visualization of Temporal Logic Specifications.}, url = {http://dblp.uni-trier.de/db/conf/vissym/p2017.html#Scott-BrownP17}, year = 2017 }