Symbolic Model Checking for Event-Driven Real-Time Systems.

Journal

Proceedings of the Real-Time Systems Symposium. Raleigh-Durham, NC, USA, December 1993

Pages

23-32

Date Issued

1993

Author(s)

Yang, Jin

Mok, Aloysius K.

Wang, Farn

DOI

URI

URL

Type

conference paper