07421 Executive Summary -- Formal Protocol Verification Applied - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Liqun Chen, Steve Kremer, Mark Dermot Ryan. 07421 Executive Summary -- Formal Protocol Verification Applied. In Liqun Chen, Steve Kremer, Mark Dermot Ryan, editors, Formal Protocol Verification Applied, 14.10. - 19.10.2007. Volume 07421 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2007. [doi]

This author has not been identified. Look up 'Liqun Chen' in GoogleThis author has not been identified. Look up 'Steve Kremer' in GoogleThis author has not been identified. Look up 'Mark Dermot Ryan' in Google

runs on WebDSL