Sciweavers

ISSTA
1996
ACM

An Efficient State Space Generation for Analysis of Real-Time Systems

14 years 4 months ago
An Efficient State Space Generation for Analysis of Real-Time Systems
Inhye Kang, Insup Lee
Added 08 Aug 2010
Updated 08 Aug 2010
Type Conference
Year 1996
Where ISSTA
Authors Inhye Kang, Insup Lee
Comments (0)