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

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