Static and dynamic property-preserving updates - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Davide Bresolin, Ivan Lanese. Static and dynamic property-preserving updates. Inf. Comput., 279:104611, 2021. [doi]

@article{BresolinL21,
  title = {Static and dynamic property-preserving updates},
  author = {Davide Bresolin and Ivan Lanese},
  year = {2021},
  doi = {10.1016/j.ic.2020.104611},
  url = {https://doi.org/10.1016/j.ic.2020.104611},
  researchr = {https://researchr.org/publication/BresolinL21},
  cites = {0},
  citedby = {0},
  journal = {Inf. Comput.},
  volume = {279},
  pages = {104611},
}

runs on WebDSL