%0 Conference Paper %1 conf/cav/KoriABBGH23 %A Kori, Mayuko %A Ascari, Flavio %A Bonchi, Filippo %A Bruni, Roberto %A Gori, Roberta %A Hasuo, Ichiro %B CAV (2) %D 2023 %E Enea, Constantin %E Lal, Akash %I Springer %K dblp %P 41-63 %T Exploiting Adjoints in Property Directed Reachability Analysis. %U http://dblp.uni-trier.de/db/conf/cav/cav2023-2.html#KoriABBGH23 %V 13965 %@ 978-3-031-37703-7

@inproceedings{conf/cav/KoriABBGH23, added-at = {2023-09-12T00:00:00.000+0200}, author = {Kori, Mayuko and Ascari, Flavio and Bonchi, Filippo and Bruni, Roberto and Gori, Roberta and Hasuo, Ichiro}, biburl = {https://www.bibsonomy.org/bibtex/232c79b8712e2e448497eb4023956fb05/dblp}, booktitle = {CAV (2)}, crossref = {conf/cav/2023-2}, editor = {Enea, Constantin and Lal, Akash}, ee = {https://doi.org/10.1007/978-3-031-37703-7_3}, interhash = {99575b72d2b6cfcdb73df765c09bd26b}, intrahash = {32c79b8712e2e448497eb4023956fb05}, isbn = {978-3-031-37703-7}, keywords = {dblp}, pages = {41-63}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T10:16:51.000+0200}, title = {Exploiting Adjoints in Property Directed Reachability Analysis.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2023-2.html#KoriABBGH23}, volume = 13965, year = 2023 }