Difference between pages "Category:Software Model Check/Verification" and "User:Karl-Heinz Haefele"
(Difference between pages)
imported>Karl-Heinz Haefele |
imported>Karl-Heinz Haefele |
||
Line 1: | Line 1: | ||
+ | [http://www.example.com link title]Karl-Heinz Häfele |
||
− | This category contain software for model checking and model verification |
||
+ | |||
+ | Institut für Angewandte Informatik (IAI) |
||
+ | |||
+ | Forschungszentrum Karlsruhe GmbH |
||
+ | |||
+ | Hermann-von-Helmholtz-Platz 1 |
||
+ | |||
+ | 76344 Eggenstein-Leopoldshafen |
||
+ | |||
+ | Tel.: 0049 7247 82-5745, Fax: 0049 7247 82-5786 |
||
+ | |||
+ | E-Mail: [karl-heinz.haefele@iai.fzk.de karl-heinz.haefele@iai.fzk.de] |
Revision as of 08:54, 1 August 2006
link titleKarl-Heinz Häfele
Institut für Angewandte Informatik (IAI)
Forschungszentrum Karlsruhe GmbH
Hermann-von-Helmholtz-Platz 1
76344 Eggenstein-Leopoldshafen
Tel.: 0049 7247 82-5745, Fax: 0049 7247 82-5786
E-Mail: [karl-heinz.haefele@iai.fzk.de karl-heinz.haefele@iai.fzk.de]
This category currently contains no pages or media.