@article{journals/iandc/EscobarMMS14,
  added-at = {2023-09-20T00:00:00.000+0200},
  author = {Escobar, Santiago and Meadows, Catherine and Meseguer, José and Santiago, Sonia},
  biburl = {https://www.bibsonomy.org/bibtex/2ede7f547c6b137c65a7c80127b6cd0dc/dblp},
  ee = {https://doi.org/10.1016/j.ic.2014.07.007},
  interhash = {075c6926d0b458a39be5897634f6d145},
  intrahash = {ede7f547c6b137c65a7c80127b6cd0dc},
  journal = {Inf. Comput.},
  keywords = {dblp},
  pages = {157-186},
  timestamp = {2024-04-09T06:09:05.000+0200},
  title = {State space reduction in the Maude-NRL Protocol Analyzer.},
  url = {http://dblp.uni-trier.de/db/journals/iandc/iandc238.html#EscobarMMS14},
  volume = 238,
  year = 2014
}

{"_id":"2ysoM43ePiNpvmNGg","bibbaseid":"escobar-meadows-meseguer-santiago-statespacereductioninthemaudenrlprotocolanalyzer-2014","author_short":["Escobar, S.","Meadows, C.","Meseguer, J.","Santiago, S."],"bibdata":{"bibtype":"article","type":"article","added-at":"2023-09-20T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Escobar"],"firstnames":["Santiago"],"suffixes":[]},{"propositions":[],"lastnames":["Meadows"],"firstnames":["Catherine"],"suffixes":[]},{"propositions":[],"lastnames":["Meseguer"],"firstnames":["José"],"suffixes":[]},{"propositions":[],"lastnames":["Santiago"],"firstnames":["Sonia"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2ede7f547c6b137c65a7c80127b6cd0dc/dblp","ee":"https://doi.org/10.1016/j.ic.2014.07.007","interhash":"075c6926d0b458a39be5897634f6d145","intrahash":"ede7f547c6b137c65a7c80127b6cd0dc","journal":"Inf. Comput.","keywords":"dblp","pages":"157-186","timestamp":"2024-04-09T06:09:05.000+0200","title":"State space reduction in the Maude-NRL Protocol Analyzer.","url":"http://dblp.uni-trier.de/db/journals/iandc/iandc238.html#EscobarMMS14","volume":"238","year":"2014","bibtex":"@article{journals/iandc/EscobarMMS14,\n added-at = {2023-09-20T00:00:00.000+0200},\n author = {Escobar, Santiago and Meadows, Catherine and Meseguer, José and Santiago, Sonia},\n biburl = {https://www.bibsonomy.org/bibtex/2ede7f547c6b137c65a7c80127b6cd0dc/dblp},\n ee = {https://doi.org/10.1016/j.ic.2014.07.007},\n interhash = {075c6926d0b458a39be5897634f6d145},\n intrahash = {ede7f547c6b137c65a7c80127b6cd0dc},\n journal = {Inf. Comput.},\n keywords = {dblp},\n pages = {157-186},\n timestamp = {2024-04-09T06:09:05.000+0200},\n title = {State space reduction in the Maude-NRL Protocol Analyzer.},\n url = {http://dblp.uni-trier.de/db/journals/iandc/iandc238.html#EscobarMMS14},\n volume = 238,\n year = 2014\n}\n\n","author_short":["Escobar, S.","Meadows, C.","Meseguer, J.","Santiago, S."],"key":"journals/iandc/EscobarMMS14","id":"journals/iandc/EscobarMMS14","bibbaseid":"escobar-meadows-meseguer-santiago-statespacereductioninthemaudenrlprotocolanalyzer-2014","role":"author","urls":{"Link":"https://doi.org/10.1016/j.ic.2014.07.007","Paper":"http://dblp.uni-trier.de/db/journals/iandc/iandc238.html#EscobarMMS14"},"keyword":["dblp"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/Meadows?items=1000","dataSources":["8G4iFLj8NuzKYiymR"],"keywords":["dblp"],"search_terms":["state","space","reduction","maude","nrl","protocol","analyzer","escobar","meadows","meseguer","santiago"],"title":"State space reduction in the Maude-NRL Protocol Analyzer.","year":2014}