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
- 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
