%0 Conference Paper %1 conf/spin/NxumaloTG21 %A Nxumalo, Madoda %A Timm, Nils %A Gruner, Stefan %B SPIN %D 2021 %E Laarman, Alfons %E Sokolova, Ana %I Springer %K dblp %P 63-80 %T Spotlight Abstraction in Model Checking Real-Time Task Schedulability. %U http://dblp.uni-trier.de/db/conf/spin/spin2021.html#NxumaloTG21 %V 12864 %@ 978-3-030-84629-9

@inproceedings{conf/spin/NxumaloTG21, added-at = {2021-08-05T00:00:00.000+0200}, author = {Nxumalo, Madoda and Timm, Nils and Gruner, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/2d3c7b58dcff0aad1c2d266f68703935d/dblp}, booktitle = {SPIN}, crossref = {conf/spin/2021}, editor = {Laarman, Alfons and Sokolova, Ana}, ee = {https://doi.org/10.1007/978-3-030-84629-9_4}, interhash = {5a5702bccc9a26c40408a8ac04d12bec}, intrahash = {d3c7b58dcff0aad1c2d266f68703935d}, isbn = {978-3-030-84629-9}, keywords = {dblp}, pages = {63-80}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T13:54:50.000+0200}, title = {Spotlight Abstraction in Model Checking Real-Time Task Schedulability.}, url = {http://dblp.uni-trier.de/db/conf/spin/spin2021.html#NxumaloTG21}, volume = 12864, year = 2021 }