GDPA  
/Chan, 1999/  

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  
  • Identification
  • Author(s)
  • Congress/Conference/Publication
  • Identification

    /Chan, 1999/
    Decoupling Synchronization from Logic Control for Efficient Symbolic Model Checking of Statecharts

    Author(s)

    William Chan (Univ. of Wash., USA)
    Richard J. Anderson (Univ. of Wash., USA)
    Paul Beame (Univ. of Wash., USA)
    David H. Jones (Boeing, USA)
    Notkin, D.
    William E. Warner (Boeing, USA)

    Congress/Conference/Publication

    ICSE'99, Los Angeles, USA. 16-22 May 1999.

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