"Protocol Specification, Testing and Verification V, Proceedings of the ..."

Michel Diaz (1985)

Details and statistics

DOI:

access: unavailable

type: Editorship

metadata version: 2002-01-07

a service of  Schloss Dagstuhl - Leibniz Center for Informatics