EasyChair Smart SlideDocs/Log in
Author: Tim Kräuter

This page shows all presentations of this author published in EasyChair Smart Slide.

Structural Operational Semantics for Heterogeneously Typed Coalgebras

Structural Operational Semantics for Heterogeneously Typed Coalgebras

Harald König, Uwe Wolter and Tim Kräuter

Formalization and Analysis of BPMN Using Graph Grammars

Formalization and Analysis of BPMN Using Graph Grammars

Tim Kräuter, Harald König, Adrian Rutle and Yngve Lamo

Presentations in this collection: 2
Copyright © 2002 – 2024 EasyChair