"Proceedings of the Third Workshop on Structural Operational Semantics, SOS ..."

Rob van Glabbeek, Peter D. Mosses (2007)

Details and statistics

DOI:

access: closed

type: Editorship

metadata version: 2022-12-06

a service of  Schloss Dagstuhl - Leibniz Center for Informatics