An AITO publication
ISSN 1660-1769
DOI 10.5381/jot
Home
Contents
Masthead
Authors
Software
Special Themes
Newsletter
Bibtex
Toufik Taibi
,
Angel Herranz
,
Juan Jose Moreno-Navarro
, Stepwise Refinement Validation of Design Patterns Formalized in TLA+ using the TLC Model Checker
@article{JOT:issue_2009_03/article3, author = {<a href="/contents.php?query=Taibi">Toufik Taibi</a> and <a href="/contents.php?query=Herranz">Angel Herranz</a> and <a href="/contents.php?query=Moreno-Navarro">Juan Jose Moreno-Navarro</a>}, title = {Stepwise Refinement Validation of Design Patterns Formalized in TLA+ using the TLC Model Checker}, journal = {Journal of Object Technology}, volume = {8}, number = {2}, issn = {1660-1769}, year = {2009}, month = mar, pages = {137-161}, doi = {10.5381/jot.2009.8.2.a3}, url = {http://www.jot.fm/contents/issue_2009_03/article3.html} }
Back
The JOT Journal | ISSN 1660-1769 | DOI 10.5381/jot |
AITO
|
Open Access
|
Contact
