Publications
No fulltext in DiVA
Author:
Baldamus, Michael (Uppsala University, Department of Information Technology)(datorteknik)(Uppsala University, Computer Systems)
Bengtson, Jesper (Uppsala University, Department of Information Technology)(datorteknik)(Uppsala University, Computer Systems)
Ferrari, GianLuigi
Raggi, Roberto
Title:
Web Services as a New Approach to Distributing and Coordinating Semantics-Based Verification Toolkits
Department:
Uppsala University, Teknisk-naturvetenskapliga vetenskapsområdet, Mathematics and Computer Science, Department of Information Technology, Computer Systems
Uppsala University, Teknisk-naturvetenskapliga vetenskapsområdet, Mathematics and Computer Science, Department of Information Technology
Publication type:
Article in journal (Refereed)
Language:
English
In:
Electronic Notes in Theoretical Computer Science
Volume:
105
Pages:
11-20
Year of publ.:
2004
URI:
urn:nbn:se:uu:diva-20481
Permanent link:
http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-20481
Available from:
2007-02-26
Statistics:
26 hits