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.
Nonconflict check by using sequential automaton abstractions based on weak observation equivalence
The work
| Authors | Rong Su; Jan H. van Schuppen; Jacobus E. Rooda; Albert T. Hofkamp |
|---|---|
| Editors | |
| Type | article |
| Year | 2010 |
| Citekey | su2010nonconflict |
Where it appeared
| Published in | Automatica |
|---|---|
| Publisher | Elsevier BV |
| Volume | 46 |
| Issue | 6 |
| Pages | 968--978 |
Identifiers
| DOI | 10.1016/j.automatica.2010.02.025 |
|---|---|
| OpenAlex | W2081177528 |
Access
| Landing page | https://doi.org/10.1016/j.automatica.2010.02.025 |
|---|
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-10-27 02:35 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Cite it as
@article{su2010nonconflict,
title = {Nonconflict check by using sequential automaton abstractions based on weak observation equivalence},
author = {Rong Su and Jan H. van Schuppen and Jacobus E. Rooda and Albert T. Hofkamp},
year = {2010},
journal = {Automatica},
publisher = {Elsevier BV},
volume = {46},
number = {6},
pages = {968--978},
doi = {10.1016/j.automatica.2010.02.025},
}
This record lives at https://refs.drheap.org/su2010nonconflict/ and will keep doing so.