"Formal Methods for Open Object-Based Distributed Systems V, IFIP TC6/WG6.1 ..."

Bart Jacobs, Arend Rensink (2002)

Details and statistics

DOI:

access: unavailable

type: Editorship

metadata version: 2015-07-09

a service of  Schloss Dagstuhl - Leibniz Center for Informatics