Sciweavers

RTSS
1993
IEEE

Symbolic Model Checking for Event-Driven Real-Time Systems

14 years 1 months ago
Symbolic Model Checking for Event-Driven Real-Time Systems
Jin Yang, Aloysius K. Mok, Farn Wang
Added 09 Aug 2010
Updated 09 Aug 2010
Type Conference
Year 1993
Where RTSS
Authors Jin Yang, Aloysius K. Mok, Farn Wang
Comments (0)