Abstract Object Creation in Dynamic Logic: To Be or Not to Be Created
The work
| Authors | Wolfgang Ahrendt; Frank S. de Boer; Immo Grabe |
|---|---|
| Editors | |
| Type | inproceedings |
| Year | 2009 |
| Citekey | ahrendt2009abstract |
Where it appeared
| Published in | FM 2009: Formal Methods |
|---|---|
| Publisher | Springer |
| Pages | 612--627 |
Identifiers
| DOI | 10.1007/978-3-642-05089-3_39 |
|---|---|
| OpenAlex | W1565487531 |
Access
| Landing page | https://doi.org/10.1007/978-3-642-05089-3_39 |
|---|
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-08-04 00:00 UTC |
| Approved by | a person 2026-08-07 23:33 UTC |
Filed under
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},
publisher = {Springer},
pages = {612--627},
doi = {10.1007/978-3-642-05089-3_39},
}
This record lives at https://refs.drheap.org/ahrendt2009abstract/ and will keep doing so.