 |
|
| Dr. Jeff Magee |
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
Dr. Jeff Magee
E-Mail
jnm@doc.ic.ac.uk
Homepage
http://www.doc.ic.ac.uk/~jnm/
Address
Distributed Software Engineering Section Department of Computing Imperial College 180 Queen's Gate London SW7 2BZ UK Phone: +44.171.594.8269 Fax: +44.171.581.8024
Institution
Imperial College, London - United Kingdom Publications
2000:
/Magee, 2000/ Graphical Animation of Behavior Models
1999:
/Giannakopoulou, 1999/ Checking Progress with Action Priority: Is it Fair?
/Magee, 1999/ Concurrency - State Models & Java Programs
1984:
/Kramer, 1984/ Environment requirements for system evolution
See Also
more information at dlpb - Universität Trier
GDPA Online
Last Updated 01.Jan.2002
Updated by Webmaster
Last Revised 01.Jan.2002
Revised by Webmaster
|