The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
Constructing Efficient Formal Models from High-Level Descriptions Using Symbolic Simulation
The work
| Authors | Alfred Koelbl; Carl Pixley |
|---|---|
| Editors | |
| Type | article |
| Year | 2005 |
| Citekey | koelbl2005constructing |
Where it appeared
| Published in | International Journal of Parallel Programming |
|---|---|
| Publisher | Springer Science+Business Media |
| Volume | 33 |
| Issue | 6 |
| Pages | 645--666 |
Identifiers
| DOI | 10.1007/s10766-005-8910-3 |
|---|---|
| OpenAlex | W1977902681 |
Access
| Landing page | https://doi.org/10.1007/s10766-005-8910-3 |
|---|
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-10-27 05:33 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Cite it as
@article{koelbl2005constructing,
title = {Constructing Efficient Formal Models from High-Level Descriptions Using Symbolic Simulation},
author = {Alfred Koelbl and Carl Pixley},
year = {2005},
journal = {International Journal of Parallel Programming},
publisher = {Springer Science+Business Media},
volume = {33},
number = {6},
pages = {645--666},
doi = {10.1007/s10766-005-8910-3},
}
This record lives at https://refs.drheap.org/koelbl2005constructing/ and will keep doing so.