%0 Conference Paper %1 conf/sefm/SchuppA18 %A Schupp, Stefan %A Ábrahám, Erika %B SEFM %D 2018 %E Johnsen, Einar Broch %E Schaefer, Ina %I Springer %K dblp %P 89-104 %T Spread the Work: Multi-threaded Safety Analysis for Hybrid Systems. %U http://dblp.uni-trier.de/db/conf/sefm/sefm2018.html#SchuppA18 %V 10886 %@ 978-3-319-92970-5

@inproceedings{conf/sefm/SchuppA18, added-at = {2020-09-05T00:00:00.000+0200}, author = {Schupp, Stefan and Ábrahám, Erika}, biburl = {https://www.bibsonomy.org/bibtex/2c37788a5ece448c7385f7e98b741084c/dblp}, booktitle = {SEFM}, crossref = {conf/sefm/2018}, editor = {Johnsen, Einar Broch and Schaefer, Ina}, ee = {https://doi.org/10.1007/978-3-319-92970-5_6}, interhash = {1880f4fe8117e8859d14a04597eb3c3b}, intrahash = {c37788a5ece448c7385f7e98b741084c}, isbn = {978-3-319-92970-5}, keywords = {dblp}, pages = {89-104}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-09-09T14:47:27.000+0200}, title = {Spread the Work: Multi-threaded Safety Analysis for Hybrid Systems.}, url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2018.html#SchuppA18}, volume = 10886, year = 2018 }