Login / Signup

Web Services as a New Approach to Distributing and Coordinating Semantics-Based Veri cation Toolkits.

Michael BaldamusJesper BengtsonGian Luigi FerrariRoberto Raggi
Published in: Electron. Notes Theor. Comput. Sci. (2004)
Keyphrases