Record Beta
Structural Operational Semantics
https://id.confref.org/data/confref-portal/event/sos2011
This record is part of the confref event Proceedings Eight Workshop on Structural Operational Semantics 2011, SOS 2011, Aachen, Germany, 5th September 2011..
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.