검색결과 : 1건
| No. | Article |
|---|---|
| 1 |
Nonconflict check by using sequential automaton abstractions based on weak observation equivalence Su R, van Schuppen JH, Rooda JE, Hofkamp AT Automatica, 46(6), 968, 2010 |
| No. | Article |
|---|---|
| 1 |
Nonconflict check by using sequential automaton abstractions based on weak observation equivalence Su R, van Schuppen JH, Rooda JE, Hofkamp AT Automatica, 46(6), 968, 2010 |