Symbolic Model Checking for Distributed Real-Time Systems.

Journal

FME '93: Industrial-Strength Formal Methods, First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993, Proceedings

Pages

632-651

Date Issued

1993

Author(s)

Wang, Farn

Mok, Aloysius K.

Emerson, E. Allen

DOI

URI

URL

Type

conference paper