| |
| 2008 | ||
|---|---|---|
| 2 | EE | Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen: Validating Behavioral Component Interfaces in Rewriting Logic. Fundam. Inform. 82(4): 341-359 (2008) |
| 2006 | ||
| 1 | EE | Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen: Validating Behavioral Component Interfaces in Rewriting Logic. Electr. Notes Theor. Comput. Sci. 159: 187-204 (2006) |
| 1 | Einar Broch Johnsen | [1] [2] |
| 2 | Olaf Owe | [1] [2] |