%0 Conference Paper %1 conf/serene/RacordonB16 %A Racordon, Dimitri %A Buchs, Didier %B SERENE %D 2016 %E Crnkovic, Ivica %E Troubitsyna, Elena %I Springer %K dblp %P 45-61 %T Verifying Multi-core Schedulability with Data Decision Diagrams. %U http://dblp.uni-trier.de/db/conf/serene/serene2016.html#RacordonB16 %V 9823 %@ 978-3-319-45891-5

@inproceedings{conf/serene/RacordonB16, added-at = {2017-05-23T00:00:00.000+0200}, author = {Racordon, Dimitri and Buchs, Didier}, biburl = {https://www.bibsonomy.org/bibtex/2a393c170cdc80601b639ce60a2994f01/dblp}, booktitle = {SERENE}, crossref = {conf/serene/2016}, editor = {Crnkovic, Ivica and Troubitsyna, Elena}, ee = {https://doi.org/10.1007/978-3-319-45892-2_4}, interhash = {2a1db4f44e9205fd76ea6b8211ec4944}, intrahash = {a393c170cdc80601b639ce60a2994f01}, isbn = {978-3-319-45891-5}, keywords = {dblp}, pages = {45-61}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:40:28.000+0200}, title = {Verifying Multi-core Schedulability with Data Decision Diagrams.}, url = {http://dblp.uni-trier.de/db/conf/serene/serene2016.html#RacordonB16}, volume = 9823, year = 2016 }