Skip to content

Commit

Permalink
Fix typo in bibtex
Browse files Browse the repository at this point in the history
In the previous commit, I replaced by accident a ',' with a '}'
  • Loading branch information
SSoelvsten authored Jan 11, 2024
1 parent 211785f commit 0cb2e0b
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion docs/papers/cite.md
Original file line number Diff line number Diff line change
Expand Up @@ -151,7 +151,7 @@ slower than other implementations.
[*Predicting Memory Demands of BDD Operations Using Maximum Graph Cuts*](https://link.springer.com/chapter/10.1007/978-3-031-45332-8_4)”.
In: *Automated Technology for Verification and Analysis* (ATVA). (2023)
```bibtex
@InProceedings{soelvsten2023:ATVA}
@InProceedings{soelvsten2023:ATVA,
title = {{P}redicting {M}emory {D}emands of {BDD} {O}perations {U}sing {M}aximum {G}raph {C}uts},
author = {S{\o}lvsten, Steffan Christ
and van de Pol, Jaco},
Expand Down

0 comments on commit 0cb2e0b

Please sign in to comment.