| |
| 2006 | ||
|---|---|---|
| 1 | EE | Valeriy Vyatkin, Hans-Michael Hanisch, Sirko Karras, Thomas Pfeiffer, Victor Dubinin: Rapid engineering and re-configuration of automation objects aided by formal modelling and verification. IJMR 1(4): 382-404 (2006) |
| 1 | Victor Dubinin | [1] |
| 2 | Hans-Michael Hanisch | [1] |
| 3 | Thomas Pfeiffer | [1] |
| 4 | Valeriy Vyatkin | [1] |