GDPA  
Fred Kröger  

A-B-C- D-E-F- G-H-I- J-K-L- M-N-O- P-Q-R- S-T-U- V-W-X- Y-Z

Name

Fred Kröger

E-Mail

kroeger@informatik.uni-muenchen.de

Homepage

http://www.pst.informatik.uni-muenchen.de/personen/kroeger/

Address

Institut für Informatik 
Universität München 
Oettingenstr. 67 
D-80538 München 
Germany 

Tel: ++49 89 2178 - 2150 
Fax: ++49 89 2178 - 2152 od. -2175

Institution

Ludwig-Maximilians Universität München - Institut für Informatik

Publications

/Kröger, 1987/ Temporal Logic of Programs

GDPA Online Last Updated 01.Jan.2002 Updated by Webmaster Last Revised 01.Jan.2002 Revised by Webmaster