Mark-Oliver Stehr

This page is no longer maintained.

Despacho:

C-217

Teléfono:

040 / 42883-2245

Telefax:

040 / 42883-2246

E-Mail:

stehr@informatik.uni-hamburg.de

Posición:

anterior investigador

Antes:

International Fellow at SRI International, Computer Science Laboratory, Menlo Park, California, USA

Visiting Scholar at Stanford University, Computer Science Department, Stanford, California, USA

Proyectos Actuales:

(sólo en Alemán)

Modelling And Analysis Of Time Constrained And Hierarchical Systems (MATCH)

(see also here)

Cursos

Assertional Reasoning and Temporal Logic for System Verification (MATCH Advanced Summer School, Jaca, Spain, September 98)

Eventos científicos

PNSE'97 - Petri Nets in System Engineering

VCL'2002 - Verification and Computational Logic

Bibliografía