%0 Conference Paper %1 conf/ictac/BasinDHHMKKMRST22 %A Basin, David A. %A Dardinier, Thibault %A Hauser, Nico %A Heimes, Lukas %A y Munive, Jonathan Julián Huerta %A Kaletsch, Nicolas %A Krstic, Srdan %A Marsicano, Emanuele %A Raszyk, Martin %A Schneider, Joshua %A Tirore, Dawit Legesse %A Traytel, Dmitriy %A Zingg, Sheila %B ICTAC %D 2022 %E Seidl, Helmut %E Liu, Zhiming %E Pasareanu, Corina S. %I Springer %K dblp %P 1-6 %T VeriMon: A Formally Verified Monitoring Tool. %U http://dblp.uni-trier.de/db/conf/ictac/ictac2022.html#BasinDHHMKKMRST22 %V 13572 %@ 978-3-031-17715-6

@inproceedings{conf/ictac/BasinDHHMKKMRST22, added-at = {2022-12-05T00:00:00.000+0100}, author = {Basin, David A. and Dardinier, Thibault and Hauser, Nico and Heimes, Lukas and y Munive, Jonathan Julián Huerta and Kaletsch, Nicolas and Krstic, Srdan and Marsicano, Emanuele and Raszyk, Martin and Schneider, Joshua and Tirore, Dawit Legesse and Traytel, Dmitriy and Zingg, Sheila}, biburl = {https://www.bibsonomy.org/bibtex/2a94a581a8bee8850cec4de0115350636/dblp}, booktitle = {ICTAC}, crossref = {conf/ictac/2022}, editor = {Seidl, Helmut and Liu, Zhiming and Pasareanu, Corina S.}, ee = {https://doi.org/10.1007/978-3-031-17715-6_1}, interhash = {4fa2a2fbdffbdc887f50336919def618}, intrahash = {a94a581a8bee8850cec4de0115350636}, isbn = {978-3-031-17715-6}, keywords = {dblp}, pages = {1-6}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T12:34:06.000+0200}, title = {VeriMon: A Formally Verified Monitoring Tool.}, url = {http://dblp.uni-trier.de/db/conf/ictac/ictac2022.html#BasinDHHMKKMRST22}, volume = 13572, year = 2022 }