%0 Conference Paper %1 conf/rv/CralleySHF20 %A Cralley, Joseph %A Spantidi, Ourania %A Hoxha, Bardh %A Fainekos, Georgios %B RV %D 2020 %E Deshmukh, Jyotirmoy %E Nickovic, Dejan %I Springer %K dblp %P 404-416 %T TLTk: A Toolbox for Parallel Robustness Computation of Temporal Logic Specifications. %U http://dblp.uni-trier.de/db/conf/rv/rv2020.html#CralleySHF20 %V 12399 %@ 978-3-030-60508-7

@inproceedings{conf/rv/CralleySHF20, added-at = {2021-06-04T00:00:00.000+0200}, author = {Cralley, Joseph and Spantidi, Ourania and Hoxha, Bardh and Fainekos, Georgios}, biburl = {https://www.bibsonomy.org/bibtex/2c469930711d7b4c3c5aeddd33db84cfa/dblp}, booktitle = {RV}, crossref = {conf/rv/2020}, editor = {Deshmukh, Jyotirmoy and Nickovic, Dejan}, ee = {https://doi.org/10.1007/978-3-030-60508-7_22}, interhash = {091afdce14c67666ed9c566bca46d3b4}, intrahash = {c469930711d7b4c3c5aeddd33db84cfa}, isbn = {978-3-030-60508-7}, keywords = {dblp}, pages = {404-416}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T08:27:44.000+0200}, title = {TLTk: A Toolbox for Parallel Robustness Computation of Temporal Logic Specifications.}, url = {http://dblp.uni-trier.de/db/conf/rv/rv2020.html#CralleySHF20}, volume = 12399, year = 2020 }