%0 Conference Paper %1 conf/sac/XieH21 %A Xie, Kun %A Hallé, Sylvain %B SAC %D 2021 %E Hung, Chih-Cheng %E Hong, Jiman %E Bechini, Alessio %E Song, Eunjee %I ACM %K dblp %P 1833-1836 %T Offline monitoring of LTL with bit vectors. %U http://dblp.uni-trier.de/db/conf/sac/sac2021.html#XieH21 %@ 978-1-4503-8104-8

@inproceedings{conf/sac/XieH21, added-at = {2021-05-03T00:00:00.000+0200}, author = {Xie, Kun and Hallé, Sylvain}, biburl = {https://www.bibsonomy.org/bibtex/254a03d56dc0816a7f68e25a4f4bb74ee/dblp}, booktitle = {SAC}, crossref = {conf/sac/2021}, editor = {Hung, Chih-Cheng and Hong, Jiman and Bechini, Alessio and Song, Eunjee}, ee = {https://doi.org/10.1145/3412841.3442138}, interhash = {b68301fcebc97cbe027d8eb75684b575}, intrahash = {54a03d56dc0816a7f68e25a4f4bb74ee}, isbn = {978-1-4503-8104-8}, keywords = {dblp}, pages = {1833-1836}, publisher = {ACM}, timestamp = {2024-04-09T12:17:43.000+0200}, title = {Offline monitoring of LTL with bit vectors.}, url = {http://dblp.uni-trier.de/db/conf/sac/sac2021.html#XieH21}, year = 2021 }