Skip to content

Model-Checking of Safety and Security Aspects in Web Service Flows.

Shin Nakajima

VenueBICWE
Year2004
ProceedingsICWE

Browse the full ICWE paper archive.