85öu8 - Evaluating Process Algebra Models versus State-oriented Models

Schreiner, Wolfgang (Projektleiter*in)

Institut für Symbolisches Rechnen

Projekt: Anderes › Sonstiges Projekt

Status	Abgeschlossen
Tatsächliches Beginn-/Enddatum	01.10.2012 → 30.09.2013

Wissenschaftszweige

101013 Mathematische Logik
101001 Algebra
101012 Kombinatorik
101020 Technische Mathematik
101 Mathematik
101009 Geometrie
101005 Computeralgebra

JKU-Schwerpunkte

Digital Transformation