%0 Conference Paper %1 conf/ecrts/AhrendtsQBE18 %A Ahrendts, Leonie %A Quinton, Sophie %A Boroske, Thomas %A Ernst, Rolf %B ECRTS %D 2018 %E Altmeyer, Sebastian %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 15:1-15:22 %T Verifying Weakly-Hard Real-Time Properties of Traffic Streams in Switched Networks. %U http://dblp.uni-trier.de/db/conf/ecrts/ecrts2018.html#AhrendtsQBE18 %V 106 %@ 978-3-95977-075-0

@inproceedings{conf/ecrts/AhrendtsQBE18, added-at = {2018-08-23T00:00:00.000+0200}, author = {Ahrendts, Leonie and Quinton, Sophie and Boroske, Thomas and Ernst, Rolf}, biburl = {https://www.bibsonomy.org/bibtex/237f27646f4aed9eb4b28273a68b9b8b9/dblp}, booktitle = {ECRTS}, crossref = {conf/ecrts/2018}, editor = {Altmeyer, Sebastian}, ee = {https://doi.org/10.4230/LIPIcs.ECRTS.2018.15}, interhash = {0bf08ed2d614749d3f84d2af46e58b4f}, intrahash = {37f27646f4aed9eb4b28273a68b9b8b9}, isbn = {978-3-95977-075-0}, keywords = {dblp}, pages = {15:1-15:22}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2020-02-12T11:43:37.000+0100}, title = {Verifying Weakly-Hard Real-Time Properties of Traffic Streams in Switched Networks.}, url = {http://dblp.uni-trier.de/db/conf/ecrts/ecrts2018.html#AhrendtsQBE18}, volume = 106, year = 2018 }