Scheduled System Maintenance:
Some services will be unavailable Sunday, March 29th through Monday, March 30th. We apologize for the inconvenience.
By Topic

Automatic symbolic verification of embedded systems

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

The purchase and pricing options are temporarily unavailable. Please try again later.
3 Author(s)
Alur, R. ; Comput. Syst. Res. Center, AT&T Bell Labs., Murray Hill, NJ, USA ; Henzinger, T.A. ; Pei-Hsin Ho

Author(s)

Alur, R.
Comput. Syst. Res. Center, AT&T Bell Labs., Murray Hill, NJ, USA
Henzinger, T.A. ; Pei-Hsin Ho