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.

Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence

The work

AuthorsHugo Flordal; Robi Malik; Martin Fabian; Knut Åkesson
Editors
Typearticle
Year2007
Citekeyflordal2007compositional

Where it appeared

Published inDiscrete Event Dynamic Systems
PublisherSpringer Science+Business Media
Volume17
Issue4
Pages475--504

How it got here

How it got hereagent via openalex
Added2026-10-27 00:44 UTC
Not denied bya person 2026-10-29 17:12 UTC

Cite it as

@article{flordal2007compositional,
  title        = {Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence},
  author       = {Hugo Flordal and Robi Malik and Martin Fabian and Knut Åkesson},
  year         = {2007},
  journal      = {Discrete Event Dynamic Systems},
  publisher    = {Springer Science+Business Media},
  volume       = {17},
  number       = {4},
  pages        = {475--504},
  doi          = {10.1007/s10626-007-0018-z},
}

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