%0 Conference Paper %1 conf/isorc/GuanGLDY08 %A Guan, Nan %A Gu, Zonghua %A Lv, Mingsong %A Deng, Qingxu %A Yu, Ge %B ISORC %D 2008 %I IEEE Computer Society %K dblp %P 556-560 %T Schedulability Analysis of Global Fixed-Priority or EDF Multiprocessor Scheduling with Symbolic Model-Checking. %U http://dblp.uni-trier.de/db/conf/isorc/isorc2008.html#GuanGLDY08 %@ 978-0-7695-3132-8

@inproceedings{conf/isorc/GuanGLDY08, added-at = {2014-10-06T00:00:00.000+0200}, author = {Guan, Nan and Gu, Zonghua and Lv, Mingsong and Deng, Qingxu and Yu, Ge}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2dbdc30ccb426545120b9fcbb1dc9017a/dblp}, booktitle = {ISORC}, crossref = {conf/isorc/2008}, ee = {http://doi.ieeecomputersociety.org/10.1109/ISORC.2008.74}, interhash = {c682c2e9cb43edce78b0f8ed5ac6029b}, intrahash = {dbdc30ccb426545120b9fcbb1dc9017a}, isbn = {978-0-7695-3132-8}, keywords = {dblp}, pages = {556-560}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T14:11:52.000+0100}, title = {Schedulability Analysis of Global Fixed-Priority or EDF Multiprocessor Scheduling with Symbolic Model-Checking.}, url = {http://dblp.uni-trier.de/db/conf/isorc/isorc2008.html#GuanGLDY08}, year = 2008 }