%0 Conference Paper %1 conf/rtns/BurmyakovBT15 %A Burmyakov, Artem %A Bini, Enrico %A Tovar, Eduardo %B RTNS %D 2015 %E Forget, Julien %I ACM %K dblp %P 225-234 %T An exact schedulability test for global FP using state space pruning. %U http://dblp.uni-trier.de/db/conf/rtns/rtns2015.html#BurmyakovBT15 %@ 978-1-4503-3591-1

@inproceedings{conf/rtns/BurmyakovBT15, added-at = {2018-11-06T00:00:00.000+0100}, author = {Burmyakov, Artem and Bini, Enrico and Tovar, Eduardo}, biburl = {https://www.bibsonomy.org/bibtex/2a0c4d583d377ef80bb363fb65c4e7e8b/dblp}, booktitle = {RTNS}, crossref = {conf/rtns/2015}, editor = {Forget, Julien}, ee = {https://doi.org/10.1145/2834848.2834877}, interhash = {cc4574c7f221094c3245ea6f2bc5071f}, intrahash = {a0c4d583d377ef80bb363fb65c4e7e8b}, isbn = {978-1-4503-3591-1}, keywords = {dblp}, pages = {225-234}, publisher = {ACM}, timestamp = {2018-11-07T16:57:14.000+0100}, title = {An exact schedulability test for global FP using state space pruning.}, url = {http://dblp.uni-trier.de/db/conf/rtns/rtns2015.html#BurmyakovBT15}, year = 2015 }