GDPA  
University of Pennsylvania - USA  

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

Contents  
  • Institution
  • Homepage
  • Address
  • Persons
  • Projects/Products
  • See also
  • Institution

    University of Pennsylvania - USA

    Homepage

    http://www.cis.upenn.edu/

    Address

    Department of Computer & Information Science
    Moore School Building
    200 South 33rd Street
    Philadelphia, PA 19104-6389
    USA
    Phone: (215) 898-8560
    Fax: (215) 898-0587

    Persons

    Alur, R.
    Gunter, C.A.
    Lee, I.

    Projects/Products

    ACSR - Algebra of Communicating Shared Resources
    PARAGON - visual specification and verification of real-time systems
    VERSA - Verification Execution and Rewrite System for ACSR

    See also

    Educational institutions ordered by country

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