2007 | ||
---|---|---|
1 | EE | Hugo Flordal, Robi Malik, Martin Fabian, Knut Åkesson: Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence. Discrete Event Dynamic Systems 17(4): 475-504 (2007) |
1 | Knut Åkesson | [1] |
2 | Martin Fabian | [1] |
3 | Robi Malik | [1] |