Campus Event Calendar: Jan Rakow (08/24/2007 in E1 4/024)

Campus Event Calendar

Campus Event Calendar:
- All Upcoming:
  - only for D1
  - only for D2
  - only for INET
  - only for D4
  - only for D5
  - only for D6
  - only for RG1
  - Mailing Lists
  - by Speaker
  - by Type
  - by Category
  - by Title
  - Calendar
  - RSS Feed
- History of Events:

Event Entry

What and Who

S3's Trans-Regional Tool ChainTimed Reachability Analysis of STATEMATE Design Based CTMDPs

Jan Rakow

Universität Oldenburg

Avacs Virtual Seminar

AG 1, RG1

AG Audience

English

Note: We use this to send email in the morning.

Date, Time and Location

Friday, 24 August 2007

13:30

45 Minutes

E1 4

024

Saarbrücken

Contact

Roxane Wetzel

900

--email hidden

System used:

Meeting URL:

Meeting ID:

Passcode:

passcode not visible

Code Visible for:

logged in users only

Login for more details

Roxane Wetzel, 08/14/2007 09:42 -- Created document.

Copyright 2024 by Max Planck Institute for Informatics
Imprint / Impressum | Data Protection / Datenschutzhinweis