%0 Conference Paper %1 conf/rtas/LiALG16 %A Li, Yonghui %A Akesson, Benny %A Lampka, Kai %A Goossens, Kees %B RTAS %D 2016 %I IEEE Computer Society %K %P 85-96 %T Modeling and Verification of Dynamic Command Scheduling for Real-Time Memory Controllers. %U http://dblp.uni-trier.de/db/conf/rtas/rtas2016.html#LiALG16 %@ 978-1-4673-8641-8

@inproceedings{conf/rtas/LiALG16, added-at = {2023-12-12T20:12:44.000+0100}, author = {Li, Yonghui and Akesson, Benny and Lampka, Kai and Goossens, Kees}, biburl = {https://www.bibsonomy.org/bibtex/2f05fc5ebd8bfd60179c757bb0a5fbfba/admin}, booktitle = {RTAS}, crossref = {conf/rtas/2016}, ee = {http://doi.ieeecomputersociety.org/10.1109/RTAS.2016.7461341}, interhash = {2c10d988953bd992fe46748061415e87}, intrahash = {f05fc5ebd8bfd60179c757bb0a5fbfba}, isbn = {978-1-4673-8641-8}, keywords = {}, pages = {85-96}, publisher = {IEEE Computer Society}, timestamp = {2023-12-12T20:12:44.000+0100}, title = {Modeling and Verification of Dynamic Command Scheduling for Real-Time Memory Controllers.}, url = {http://dblp.uni-trier.de/db/conf/rtas/rtas2016.html#LiALG16}, year = 2016 }