%0 Journal Article %1 journals/corr/abs-2402-00890 %A Duclos, Martin %A Fernandez, Ivan A. %A Moore, Kaneesha %A Mittal, Sudip %A Zieglar, Edward %D 2024 %J CoRR %K dblp %T Utilizing Large Language Models to Translate RFC Protocol Specifications to CPSA Definitions. %U http://dblp.uni-trier.de/db/journals/corr/corr2402.html#abs-2402-00890 %V abs/2402.00890

@article{journals/corr/abs-2402-00890, added-at = {2024-02-09T00:00:00.000+0100}, author = {Duclos, Martin and Fernandez, Ivan A. and Moore, Kaneesha and Mittal, Sudip and Zieglar, Edward}, biburl = {https://www.bibsonomy.org/bibtex/26645ec5f809ef459913274194dea7c34/dblp}, ee = {https://doi.org/10.48550/arXiv.2402.00890}, interhash = {9bcf3ef02bff4c56c70d0d90b5dc2e48}, intrahash = {6645ec5f809ef459913274194dea7c34}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T23:27:58.000+0200}, title = {Utilizing Large Language Models to Translate RFC Protocol Specifications to CPSA Definitions.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2402.html#abs-2402-00890}, volume = {abs/2402.00890}, year = 2024 }