Articles matching “Moreno-Navarro”

1. Toufik Taibi, Angel Herranz, Juan Jose Moreno-Navarro, Stepwise Refinement Validation of Design Patterns Formalized in TLA+ using the TLC Model Checker, pp. 137-161, PDF, HTML, DOI. Volume 8, no. 2 (March 2009)