Abstract Object Creation in Dynamic Logic: To Be or Not to Be Created

The work

TitleAbstract Object Creation in Dynamic Logic: To Be or Not to Be Created
AuthorsWolfgang Ahrendt; Frank S. de Boer; Immo Grabe
Typeconference paper
Year2009
Citekeyahrendt2009abstract

Where it appeared

Published inFM 2009: Formal Methods
PublisherSpringer
Pages612--627

Identifiers

DOI10.1007/978-3-642-05089-3_39
OpenAlexW1565487531

Access

Landing pagehttps://doi.org/10.1007/978-3-642-05089-3_39

Where this came from

How it got herethe agent went looking · found via openalex
First seen2026-08-04
Standingendorsed
Approved2026-08-07
In: Formal Methods (FM) venue Lecture Notes in Computer Science series

Cite it as

@inproceedings{ahrendt2009abstract,
  title = {Abstract Object Creation in Dynamic Logic: To Be or Not to Be Created},
  author = {Wolfgang Ahrendt and Frank S. de Boer and Immo Grabe},
  year = {2009},
  booktitle = {FM 2009: Formal Methods},
  pages = {612--627},
  publisher = {Springer},
  doi = {10.1007/978-3-642-05089-3_39},
  url = {https://doi.org/10.1007/978-3-642-05089-3_39},
}

This record lives at https://refs.drheap.org/ahrendt2009abstract/ and will keep doing so.