GDPA  
/Holzmann, 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
  • Related publications
  • Identification

    /Holzmann, 1999/
    A Practical Method for Verifying Event-Driven Software

    Author(s)

    Gerard J. Holzmann (Bell Labs, USA)
    Margaret H. Smith (Bell Labs, USA)

    Congress/Conference/Publication

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

    Related publications

    Event-based process

    This page online  •  GDPA Online  •  Last Updated 17.June.2002 by C. Freericks