%0 Conference Paper %1 conf/cav/DAntoniFS019 %A D'Antoni, Loris %A Ferreira, Tiago %A Sammartino, Matteo %A Silva, Alexandra %B CAV (1) %D 2019 %E Dillig, Isil %E Tasiran, Serdar %I Springer %K dblp %P 3-21 %T Symbolic Register Automata. %U http://dblp.uni-trier.de/db/conf/cav/cav2019-1.html#DAntoniFS019 %V 11561 %@ 978-3-030-25540-4

@inproceedings{conf/cav/DAntoniFS019, added-at = {2023-11-29T00:00:00.000+0100}, author = {D'Antoni, Loris and Ferreira, Tiago and Sammartino, Matteo and Silva, Alexandra}, biburl = {https://www.bibsonomy.org/bibtex/2b821e522ede3bfa30dddcceaf4e1021d/dblp}, booktitle = {CAV (1)}, crossref = {conf/cav/2019-1}, editor = {Dillig, Isil and Tasiran, Serdar}, ee = {https://doi.org/10.1007/978-3-030-25540-4_1}, interhash = {150f875783f34614c7a2821d109e21c5}, intrahash = {b821e522ede3bfa30dddcceaf4e1021d}, isbn = {978-3-030-25540-4}, keywords = {dblp}, pages = {3-21}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T03:53:43.000+0200}, title = {Symbolic Register Automata.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2019-1.html#DAntoniFS019}, volume = 11561, year = 2019 }