Y. Tachi

Publication Activity (10 Years)

Years Active: 1999-1999
Publications (10 Years): 0

Publications

Y. Tachi, Satoshi Yamane
Real-Time Symbolic Model Checking for Hard Real-Time Systems. RTCSA (1999)