GDPA  
Rajeev Alur  

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

Rajeev Alur

E-Mail

alur@cis.upenn.edu

Institution

Bell Laboratories
and University of Pennsylvania - USA

Publications

2000:
/Alur, 2000/ Inference of Message Sequence Charts

1998:
/Alur, 1998/ Model Checking of Hierarchical State Machines

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