%0 Conference Paper %1 conf/rtas/HamannZ0L16 %A Hamann, Arne %A Ziegenbein, Dirk %A Kramer, Simon %A Lukasiewycz, Martin %B RTAS %D 2016 %I IEEE Computer Society %K dblp %P 65 %T Demo Abstract: Demonstration of the FMTV 2016 Timing Verification Challenge. %U http://dblp.uni-trier.de/db/conf/rtas/rtas2016.html#HamannZ0L16 %@ 978-1-4673-8641-8

@inproceedings{conf/rtas/HamannZ0L16, added-at = {2016-05-04T00:00:00.000+0200}, author = {Hamann, Arne and Ziegenbein, Dirk and Kramer, Simon and Lukasiewycz, Martin}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/23b3f9dc8204a7fbecc4a33cc40f47103/dblp}, booktitle = {RTAS}, crossref = {conf/rtas/2016}, ee = {http://doi.ieeecomputersociety.org/10.1109/RTAS.2016.7461330}, interhash = {7a6ba7885145f8d0240cdc5eefdbbd81}, intrahash = {3b3f9dc8204a7fbecc4a33cc40f47103}, isbn = {978-1-4673-8641-8}, keywords = {dblp}, pages = 65, publisher = {IEEE Computer Society}, timestamp = {2016-05-05T09:37:57.000+0200}, title = {Demo Abstract: Demonstration of the FMTV 2016 Timing Verification Challenge.}, url = {http://dblp.uni-trier.de/db/conf/rtas/rtas2016.html#HamannZ0L16}, year = 2016 }