%0 Conference Paper %1 conf/tase/PedroLPP20 %A de Matos Pedro, André %A Leucker, Martin %A Pereira, David %A Pinto, Jorge Sousa %B TASE %D 2020 %E Aoki, Toshiaki %E Li, Qin %I IEEE %K dblp %P 49-56 %T Real-time MTL with durations as SMT with applications to schedulability analysis. %U http://dblp.uni-trier.de/db/conf/tase/tase2020.html#PedroLPP20 %@ 978-1-7281-4086-5

@inproceedings{conf/tase/PedroLPP20, added-at = {2022-06-23T00:00:00.000+0200}, author = {de Matos Pedro, André and Leucker, Martin and Pereira, David and Pinto, Jorge Sousa}, biburl = {https://www.bibsonomy.org/bibtex/2ce60dd1a610bd8d9c6d8f203327434a5/dblp}, booktitle = {TASE}, crossref = {conf/tase/2020}, editor = {Aoki, Toshiaki and Li, Qin}, ee = {https://doi.org/10.1109/TASE49443.2020.00016}, interhash = {9f91273424bf98c0b0434da8e29b9e91}, intrahash = {ce60dd1a610bd8d9c6d8f203327434a5}, isbn = {978-1-7281-4086-5}, keywords = {dblp}, pages = {49-56}, publisher = {IEEE}, timestamp = {2024-04-10T01:48:24.000+0200}, title = {Real-time MTL with durations as SMT with applications to schedulability analysis.}, url = {http://dblp.uni-trier.de/db/conf/tase/tase2020.html#PedroLPP20}, year = 2020 }