%0 Conference Paper %1 conf/ndss/Fiterau-Brostean23 %A Fiterau-Brostean, Paul %A Jonsson, Bengt %A Sagonas, Konstantinos %A Tåquist, Fredrik %B NDSS %D 2023 %I The Internet Society %K dblp %T Automata-Based Automated Detection of State Machine Bugs in Protocol Implementations. %U http://dblp.uni-trier.de/db/conf/ndss/ndss2023.html#Fiterau-Brostean23

@inproceedings{conf/ndss/Fiterau-Brostean23, added-at = {2023-06-15T00:00:00.000+0200}, author = {Fiterau-Brostean, Paul and Jonsson, Bengt and Sagonas, Konstantinos and Tåquist, Fredrik}, biburl = {https://www.bibsonomy.org/bibtex/2ff25962bc15aef7c8b355afb99de63ef/dblp}, booktitle = {NDSS}, crossref = {conf/ndss/2023}, ee = {https://www.ndss-symposium.org/ndss-paper/automata-based-automated-detection-of-state-machine-bugs-in-protocol-implementations/}, interhash = {9832ab20b65bd909cfb93c680df7d1ee}, intrahash = {ff25962bc15aef7c8b355afb99de63ef}, keywords = {dblp}, publisher = {The Internet Society}, timestamp = {2024-04-09T15:58:27.000+0200}, title = {Automata-Based Automated Detection of State Machine Bugs in Protocol Implementations.}, url = {http://dblp.uni-trier.de/db/conf/ndss/ndss2023.html#Fiterau-Brostean23}, year = 2023 }