Skip to main content
Sign In |
  Help (new window)

Abstract State Machines Research Center

Go Search
Home
  
Abstract State Machines Research Center > Members > AsmGroup at University of Kiel (Germany)  

Members: AsmGroup at University of Kiel (Germany)

Export Contact

Last Name

 AsmGroup at University of Kiel (Germany) 

Full Name

  

E-mail Address

  

Business Phone

  

Fax Number

  

Address
 

City

  

State/Province

  

ZIP/Postal Code

  

Country/Region

  

Web Page

 http://www.is.informatik.uni-kiel.de/~thalheim/ASM/ 

Role

 Founding Member 

Head of group

 Bernhard Thalheim 
Attachments
Created at 10/18/2006 22:00  by Egon Börger 
Last modified at 1/18/2007 23:45  by Egon Börger