Sciweavers

CHARME
2005
Springer

Real-Time Model Checking Is Really Simple

14 years 4 months ago
Real-Time Model Checking Is Really Simple
Leslie Lamport
Added 26 Jun 2010
Updated 26 Jun 2010
Type Conference
Year 2005
Where CHARME
Authors Leslie Lamport
Comments (0)