@inproceedings{conf/ifm/MilovancevicFBK24,
  added-at = {2024-12-22T00:00:00.000+0100},
  author = {Milovancevic, Dragana and Fuhs, Carsten and Bucev, Mario and Kuncak, Viktor},
  biburl = {https://www.bibsonomy.org/bibtex/2fb4e080a13f117932d46eb59e1531a7f/dblp},
  booktitle = {IFM},
  crossref = {conf/ifm/2024},
  editor = {Kosmatov, Nikolai and Kovács, Laura},
  ee = {https://doi.org/10.1007/978-3-031-76554-4_5},
  interhash = {20f83514a47e800620d1558d5d27e1ee},
  intrahash = {fb4e080a13f117932d46eb59e1531a7f},
  isbn = {978-3-031-76554-4},
  keywords = {dblp},
  pages = {75-84},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2024-12-23T07:18:48.000+0100},
  title = {Proving Termination via Measure Transfer in Equivalence Checking.},
  url = {http://dblp.uni-trier.de/db/conf/ifm/ifm2024.html#MilovancevicFBK24},
  volume = 15234,
  year = 2024
}

{"_id":"FS3qnJJyhYQ3xtAmD","bibbaseid":"milovancevic-fuhs-bucev-kuncak-provingterminationviameasuretransferinequivalencechecking-2024","author_short":["Milovancevic, D.","Fuhs, C.","Bucev, M.","Kuncak, V."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2024-12-22T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Milovancevic"],"firstnames":["Dragana"],"suffixes":[]},{"propositions":[],"lastnames":["Fuhs"],"firstnames":["Carsten"],"suffixes":[]},{"propositions":[],"lastnames":["Bucev"],"firstnames":["Mario"],"suffixes":[]},{"propositions":[],"lastnames":["Kuncak"],"firstnames":["Viktor"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2fb4e080a13f117932d46eb59e1531a7f/dblp","booktitle":"IFM","crossref":"conf/ifm/2024","editor":[{"propositions":[],"lastnames":["Kosmatov"],"firstnames":["Nikolai"],"suffixes":[]},{"propositions":[],"lastnames":["Kovács"],"firstnames":["Laura"],"suffixes":[]}],"ee":"https://doi.org/10.1007/978-3-031-76554-4_5","interhash":"20f83514a47e800620d1558d5d27e1ee","intrahash":"fb4e080a13f117932d46eb59e1531a7f","isbn":"978-3-031-76554-4","keywords":"dblp","pages":"75-84","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"2024-12-23T07:18:48.000+0100","title":"Proving Termination via Measure Transfer in Equivalence Checking.","url":"http://dblp.uni-trier.de/db/conf/ifm/ifm2024.html#MilovancevicFBK24","volume":"15234","year":"2024","bibtex":"@inproceedings{conf/ifm/MilovancevicFBK24,\n added-at = {2024-12-22T00:00:00.000+0100},\n author = {Milovancevic, Dragana and Fuhs, Carsten and Bucev, Mario and Kuncak, Viktor},\n biburl = {https://www.bibsonomy.org/bibtex/2fb4e080a13f117932d46eb59e1531a7f/dblp},\n booktitle = {IFM},\n crossref = {conf/ifm/2024},\n editor = {Kosmatov, Nikolai and Kovács, Laura},\n ee = {https://doi.org/10.1007/978-3-031-76554-4_5},\n interhash = {20f83514a47e800620d1558d5d27e1ee},\n intrahash = {fb4e080a13f117932d46eb59e1531a7f},\n isbn = {978-3-031-76554-4},\n keywords = {dblp},\n pages = {75-84},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2024-12-23T07:18:48.000+0100},\n title = {Proving Termination via Measure Transfer in Equivalence Checking.},\n url = {http://dblp.uni-trier.de/db/conf/ifm/ifm2024.html#MilovancevicFBK24},\n volume = 15234,\n year = 2024\n}\n\n","author_short":["Milovancevic, D.","Fuhs, C.","Bucev, M.","Kuncak, V."],"editor_short":["Kosmatov, N.","Kovács, L."],"key":"conf/ifm/MilovancevicFBK24","id":"conf/ifm/MilovancevicFBK24","bibbaseid":"milovancevic-fuhs-bucev-kuncak-provingterminationviameasuretransferinequivalencechecking-2024","role":"author","urls":{"Link":"https://doi.org/10.1007/978-3-031-76554-4_5","Paper":"http://dblp.uni-trier.de/db/conf/ifm/ifm2024.html#MilovancevicFBK24"},"keyword":["dblp"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/mario","dataSources":["r26KpMTjkkGurejAL"],"keywords":["dblp"],"search_terms":["proving","termination","via","measure","transfer","equivalence","checking","milovancevic","fuhs","bucev","kuncak"],"title":"Proving Termination via Measure Transfer in Equivalence Checking.","year":2024}