Specification and verification of concurrent systems in CESAR
The work
| Authors | J. P. Queille; J. Sifakis |
|---|---|
| Editors | |
| Type | inproceedings |
| Year | 1982 |
| Citekey | queille1982specification |
Where it appeared
| Published in | 5th International Symposium on Programming |
|---|---|
| Publisher | Springer |
| Series | Lecture Notes in Computer Science |
| Number in series | 137 |
| Pages | 337--351 |
Identifiers
| DOI | 10.1007/3-540-11494-7_22 |
|---|
Access
| Landing page | https://doi.org/10.1007/3-540-11494-7_22 |
|---|
How it got here
| How it got here | agent via unpaywall |
|---|---|
| Added | 2026-08-19 00:00 UTC |
| Approved by | a person 2026-08-21 05:53 UTC |
Filed under
Cite it as
@inproceedings{queille1982specification,
title = {Specification and verification of concurrent systems in CESAR},
author = {J. P. Queille and J. Sifakis},
year = {1982},
booktitle = {5th International Symposium on Programming},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
pages = {337--351},
doi = {10.1007/3-540-11494-7_22},
}
This record lives at https://refs.drheap.org/queille1982specification/ and will keep doing so.