F. Garcia

Formal Verification of Safety and Liveness Properties for Logic Controllers. A Tool Comparison

F. Garcia, A. Sanchez, 2006, 2006 3rd International Conference on Electrical and Electronics Engineering.