%0 Journal Article %1 journals/topnoc/0006KR21 %A Rodríguez, Alejandro %A Kristensen, Lars Michael %A Rutle, Adrian %B Trans. Petri Nets and Other Models of Concurrency %D 2021 %E Koutny, Maciej %E Kordon, Fabrice %E Pomello, Lucia %I Springer %J Trans. Petri Nets Other Model. Concurr. %K dblp %P 165-183 %T Verification of the MQTT IoT Protocol Using Property-Specific CTL Sweep-Line Algorithms. %U http://dblp.uni-trier.de/db/journals/topnoc/topnoc15.html#0006KR21 %V 15 %@ 978-3-662-63079-2

@article{journals/topnoc/0006KR21, added-at = {2022-01-03T00:00:00.000+0100}, author = {Rodríguez, Alejandro and Kristensen, Lars Michael and Rutle, Adrian}, biburl = {https://www.bibsonomy.org/bibtex/25607ee9c0fe1e47638f34a5995ca833a/dblp}, booktitle = {Trans. Petri Nets and Other Models of Concurrency}, crossref = {journals/topnoc/2021-15}, editor = {Koutny, Maciej and Kordon, Fabrice and Pomello, Lucia}, ee = {https://doi.org/10.1007/978-3-662-63079-2_8}, interhash = {bafa4cdc0312627c21fd73d1ad47ba97}, intrahash = {5607ee9c0fe1e47638f34a5995ca833a}, isbn = {978-3-662-63079-2}, journal = {Trans. Petri Nets Other Model. Concurr.}, keywords = {dblp}, pages = {165-183}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T09:30:50.000+0200}, title = {Verification of the MQTT IoT Protocol Using Property-Specific CTL Sweep-Line Algorithms.}, url = {http://dblp.uni-trier.de/db/journals/topnoc/topnoc15.html#0006KR21}, volume = 15, year = 2021 }