Skip to main content
English
中文
Log In
Log in
Log in with ORCID
NTU Single Sign On
Have you forgotten your password?
Home
College of Management / 管理學院
Information Management / 資訊管理學系
Symbolic Model-Checking for Distributed Real-Time Systems
Details
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)
Wang, Farn
URI
http://ntur.lib.ntu.edu.tw//handle/246246/118766
Description
Odense, Denmark
