%0 Conference Paper %1 conf/formats/ReinkemeierBDS15 %A Reinkemeier, Philipp %A Benveniste, Albert %A Damm, Werner %A Stierand, Ingo %B FORMATS %D 2015 %E Sankaranarayanan, Sriram %E Vicario, Enrico %I Springer %K %P 270-287 %T Contracts for Schedulability Analysis. %U http://dblp.uni-trier.de/db/conf/formats/formats2015.html#ReinkemeierBDS15 %V 9268 %@ 978-3-319-22974-4

@inproceedings{conf/formats/ReinkemeierBDS15, added-at = {2023-12-12T21:19:42.000+0100}, author = {Reinkemeier, Philipp and Benveniste, Albert and Damm, Werner and Stierand, Ingo}, biburl = {https://www.bibsonomy.org/bibtex/21ddb8f77ed50ba0b888aaf9856d346f4/admin}, booktitle = {FORMATS}, crossref = {conf/formats/2015}, editor = {Sankaranarayanan, Sriram and Vicario, Enrico}, ee = {https://doi.org/10.1007/978-3-319-22975-1_18}, interhash = {3c82ecf58600e039245318dff5ed38ca}, intrahash = {1ddb8f77ed50ba0b888aaf9856d346f4}, isbn = {978-3-319-22974-4}, keywords = {}, pages = {270-287}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T21:19:42.000+0100}, title = {Contracts for Schedulability Analysis.}, url = {http://dblp.uni-trier.de/db/conf/formats/formats2015.html#ReinkemeierBDS15}, volume = 9268, year = 2015 }