Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Modeling Web Applications Design with Automata and Its Verification | 1 | 0.36 | 2011 |
| Modeling, Verification And Testing Of Web Applications Using Model Checker | 3 | 0.38 | 2011 |
| Using the Model Checker Spin for Web Application Design | 4 | 0.43 | 2010 |