Arild B. Torjusen

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

Coauthor Index

1	Einar Broch Johnsen	[1] [2]
2	Olaf Owe	[1] [2]