Symbolic Model Checking for Event-Driven Real-Time Systems

Journal

ACM Transactions on Programming Languages and Systems

Journal Volume

19

Journal Issue

2

Pages

386-412

Date Issued

1997-03

Author(s)

J. Yang

A.K. Mok

DOI

10.1145/244795.244803

URI

http://scholars.lib.ntu.edu.tw/handle/123456789/333802

Type

journal article