Difference between pages "Category:Software Model Check/Verification" and "User:Karl-Heinz Haefele"

From CityGML Wiki
(Difference between pages)
Jump to: navigation, search
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.