@inproceedings{conf/rtns/BurmyakovBT15,
  author = {Burmyakov, Artem and Bini, Enrico and Tovar, Eduardo},
  booktitle = {RTNS},
  crossref = {conf/rtns/2015},
  editor = {Forget, Julien},
  ee = {http://doi.acm.org/10.1145/2834848.2834877},
  interhash = {cc4574c7f221094c3245ea6f2bc5071f},
  intrahash = {a0c4d583d377ef80bb363fb65c4e7e8b},
  isbn = {978-1-4503-3591-1},
  pages = {225-234},
  publisher = {ACM},
  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
}

{"_id":"HWFe3a6e5wdw88EaJ","bibbaseid":"burmyakov-bini-tovar-anexactschedulabilitytestforglobalfpusingstatespacepruning-2015","downloads":0,"creationDate":"2017-11-25T00:20:57.542Z","title":"An exact schedulability test for global FP using state space pruning.","author_short":["Burmyakov, A.","Bini, E.","Tovar, E."],"year":2015,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/artem?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Burmyakov"],"firstnames":["Artem"],"suffixes":[]},{"propositions":[],"lastnames":["Bini"],"firstnames":["Enrico"],"suffixes":[]},{"propositions":[],"lastnames":["Tovar"],"firstnames":["Eduardo"],"suffixes":[]}],"booktitle":"RTNS","crossref":"conf/rtns/2015","editor":[{"propositions":[],"lastnames":["Forget"],"firstnames":["Julien"],"suffixes":[]}],"ee":"http://doi.acm.org/10.1145/2834848.2834877","interhash":"cc4574c7f221094c3245ea6f2bc5071f","intrahash":"a0c4d583d377ef80bb363fb65c4e7e8b","isbn":"978-1-4503-3591-1","pages":"225-234","publisher":"ACM","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","bibtex":"@inproceedings{conf/rtns/BurmyakovBT15,\n author = {Burmyakov, Artem and Bini, Enrico and Tovar, Eduardo},\n booktitle = {RTNS},\n crossref = {conf/rtns/2015},\n editor = {Forget, Julien},\n ee = {http://doi.acm.org/10.1145/2834848.2834877},\n interhash = {cc4574c7f221094c3245ea6f2bc5071f},\n intrahash = {a0c4d583d377ef80bb363fb65c4e7e8b},\n isbn = {978-1-4503-3591-1},\n pages = {225-234},\n publisher = {ACM},\n title = {An exact schedulability test for global FP using state space pruning.},\n url = {http://dblp.uni-trier.de/db/conf/rtns/rtns2015.html#BurmyakovBT15},\n year = 2015\n}\n\n","author_short":["Burmyakov, A.","Bini, E.","Tovar, E."],"editor_short":["Forget, J."],"key":"conf/rtns/BurmyakovBT15","id":"conf/rtns/BurmyakovBT15","bibbaseid":"burmyakov-bini-tovar-anexactschedulabilitytestforglobalfpusingstatespacepruning-2015","role":"author","urls":{"Link":"http://doi.acm.org/10.1145/2834848.2834877","Paper":"http://dblp.uni-trier.de/db/conf/rtns/rtns2015.html#BurmyakovBT15"},"downloads":0},"search_terms":["exact","schedulability","test","global","using","state","space","pruning","burmyakov","bini","tovar"],"keywords":[],"authorIDs":[],"dataSources":["7supHakfuKN3wzsvy"]}