Sciweavers

CHARME
1999
Springer

Model Checking TLA+ Specifications

14 years 3 months ago
Model Checking TLA+ Specifications
Yuan Yu, Panagiotis Manolios, Leslie Lamport
Added 03 Aug 2010
Updated 03 Aug 2010
Type Conference
Year 1999
Where CHARME
Authors Yuan Yu, Panagiotis Manolios, Leslie Lamport
Comments (0)