%0 Conference Paper %1 conf/birthday/MalladiM21 %A Malladi, Sreekanth %A Millen, Jonathan K. %B Protocols, Strands, and Logic %D 2021 %E Dougherty, Daniel %E Meseguer, José %E Mödersheim, Sebastian Alexander %E Rowe, Paul D. %I Springer %K dblp %P 276-292 %T Adapting Constraint Solving to Automatically Analyze UPI Protocols. %U http://dblp.uni-trier.de/db/conf/birthday/guttman2021.html#MalladiM21 %V 13066 %@ 978-3-030-91631-2

@inproceedings{conf/birthday/MalladiM21, added-at = {2021-12-15T00:00:00.000+0100}, author = {Malladi, Sreekanth and Millen, Jonathan K.}, biburl = {https://www.bibsonomy.org/bibtex/279578a5aea2e7ccba9fb35354985ecd3/dblp}, booktitle = {Protocols, Strands, and Logic}, crossref = {conf/birthday/2021guttman}, editor = {Dougherty, Daniel and Meseguer, José and Mödersheim, Sebastian Alexander and Rowe, Paul D.}, ee = {https://doi.org/10.1007/978-3-030-91631-2_15}, interhash = {7707b672d326f034c82890c6d7027172}, intrahash = {79578a5aea2e7ccba9fb35354985ecd3}, isbn = {978-3-030-91631-2}, keywords = {dblp}, pages = {276-292}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T14:05:55.000+0200}, title = {Adapting Constraint Solving to Automatically Analyze UPI Protocols.}, url = {http://dblp.uni-trier.de/db/conf/birthday/guttman2021.html#MalladiM21}, volume = 13066, year = 2021 }