A High Level Specification Technique for Modeling Networks and their Environments including Semantic Aspects.

Christoph Benz, Martin Leischner

Browse the full IM paper archive.