@article{DBLP:journals/jlap/FervariTZ21,
  author       = {Raul Fervari and
                  Francisco Trucco and
                  Beta Ziliani},
  title        = {Verification of dynamic bisimulation theorems in Coq},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {120},
  pages        = {100642},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.jlamp.2021.100642},
  doi          = {10.1016/J.JLAMP.2021.100642},
  timestamp    = {Thu, 29 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlap/FervariTZ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"DYSfQKJiACBcj2cjA","bibbaseid":"fervari-trucco-ziliani-verificationofdynamicbisimulationtheoremsincoq-2021","author_short":["Fervari, R.","Trucco, F.","Ziliani, B."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Raul"],"propositions":[],"lastnames":["Fervari"],"suffixes":[]},{"firstnames":["Francisco"],"propositions":[],"lastnames":["Trucco"],"suffixes":[]},{"firstnames":["Beta"],"propositions":[],"lastnames":["Ziliani"],"suffixes":[]}],"title":"Verification of dynamic bisimulation theorems in Coq","journal":"J. Log. Algebraic Methods Program.","volume":"120","pages":"100642","year":"2021","url":"https://doi.org/10.1016/j.jlamp.2021.100642","doi":"10.1016/J.JLAMP.2021.100642","timestamp":"Thu, 29 Apr 2021 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/jlap/FervariTZ21.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/jlap/FervariTZ21,\n author = {Raul Fervari and\n Francisco Trucco and\n Beta Ziliani},\n title = {Verification of dynamic bisimulation theorems in Coq},\n journal = {J. Log. Algebraic Methods Program.},\n volume = {120},\n pages = {100642},\n year = {2021},\n url = {https://doi.org/10.1016/j.jlamp.2021.100642},\n doi = {10.1016/J.JLAMP.2021.100642},\n timestamp = {Thu, 29 Apr 2021 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/jlap/FervariTZ21.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n","author_short":["Fervari, R.","Trucco, F.","Ziliani, B."],"key":"DBLP:journals/jlap/FervariTZ21","id":"DBLP:journals/jlap/FervariTZ21","bibbaseid":"fervari-trucco-ziliani-verificationofdynamicbisimulationtheoremsincoq-2021","role":"author","urls":{"Paper":"https://doi.org/10.1016/j.jlamp.2021.100642"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://dblp.org/pid/117/9953.html?view=bibtex","dataSources":["HJM7dqFRHjcZZmjge","MSnnygamX7qXNxsq6"],"keywords":[],"search_terms":["verification","dynamic","bisimulation","theorems","coq","fervari","trucco","ziliani"],"title":"Verification of dynamic bisimulation theorems in Coq","year":2021}