WSMX Execution Semantics - Executable Software Specification (2004)

by Eyal Oren
Venue:in WIW 2004 WSMO Implementation Workshop 2004