Options
Symbolic Model-Checking for Distributed Real-Time Systems
Resource
Formal Methods Europe Symposium, Odense, Denmark(1993.04)
Journal
Formal Methods Europe Symposium
Pages
-
Date Issued
1993-04
Date
1993-04
Author(s)
Description
Odense, Denmark