Sciweavers

51
Voted
CHARME
1999
Springer

Model Checking TLA+ Specifications

15 years 1 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)