Mark-Oliver Stehr
|
|
 |
-
- This page is no longer maintained.
- Birou:
- C-217
- Telefon:
- 040 / 42883-2245
- Telefax:
- 040 / 42883-2246
- E-Mail:
- stehr@informatik.uni-hamburg.de
- Funcţie:
-
- 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
- Proiecte actuale:
-
- Modelling And Analysis Of Time Constrained And Hierarchical Systems (MATCH)
- (see also here)
- Assertional Reasoning and Temporal Logic for System Verification (MATCH Advanced Summer School, Jaca, Spain, September 98)
- PNSE'97 - Petri Nets in System Engineering
- VCL'2002 - Verification and Computational Logic
- Bibliografie
