%0 Conference Paper %1 conf/isola/GeskeJSHSP16 %A Geske, Maren %A Jasper, Marc %A Steffen, Bernhard %A Howar, Falk %A Schordan, Markus %A van de Pol, Jaco %B ISoLA (2) %D 2016 %E Margaria, Tiziana %E Steffen, Bernhard %K %P 787-803 %T RERS 2016: Parallel and Sequential Benchmarks with Focus on LTL Verification. %U http://dblp.uni-trier.de/db/conf/isola/isola2016-2.html#GeskeJSHSP16 %V 9953 %@ 978-3-319-47168-6

@inproceedings{conf/isola/GeskeJSHSP16, added-at = {2023-12-14T16:26:56.000+0100}, author = {Geske, Maren and Jasper, Marc and Steffen, Bernhard and Howar, Falk and Schordan, Markus and van de Pol, Jaco}, biburl = {https://www.bibsonomy.org/bibtex/21f8390332cb4df739bc70942c7751462/admin}, booktitle = {ISoLA (2)}, crossref = {conf/isola/2016-2}, editor = {Margaria, Tiziana and Steffen, Bernhard}, ee = {https://doi.org/10.1007/978-3-319-47169-3_59}, interhash = {f81ee2bc3d626466a5f29415ddb66012}, intrahash = {1f8390332cb4df739bc70942c7751462}, isbn = {978-3-319-47168-6}, keywords = {}, pages = {787-803}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-14T16:26:56.000+0100}, title = {RERS 2016: Parallel and Sequential Benchmarks with Focus on LTL Verification.}, url = {http://dblp.uni-trier.de/db/conf/isola/isola2016-2.html#GeskeJSHSP16}, volume = 9953, year = 2016 }