DR.-ING. SVEN JOHR
 | ||
|
The following informations may be outdated.
Dr.-Ing Sven Johr is currently with TWT GmbH - Science and Innovation, Friedrichshafen, Germany.
|
 |
Recently, I have submitted my PhD thesis on: "Model Checking Compositional Markov Systems". More information can be found here.
Contact
| Adress: | Stuhlsatzenhausweg 45 66123 Saarbrücken |
| Phone: | +49 681 302 5607 |
| Fax: | +49 681 302 5636 |
| Location: | Bldg. E1 3, Room 536 |
| eMail: |  |