Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control

• Authors:

• Rajeev Alur;Thomas A. Henzinger;Eduardo D. Sontag

• Affiliations:

• AT&T Bell Labs, Murray Hill, NJ;Univ. of California, Berkeley;Rutgers Univ., New Brunswick, NJ

• Venue:
• Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
• Year:
• 1996