Vidal-Silva, Cristian L., Villarroel, Rodolfo, Rubio, Jos´e, Johnson, Franklin, Madariaga, Erika, Campos, Camilo, Carter, Luis (2018) An Spin / Promela Application for Model checking UML Sequence Diagrams. International Journal of Advanced Computer Science and Applications, 9. doi:10.14569/ijacsa.2018.091071
| Reference Type | Journal (article/letter/editorial) | ||
|---|---|---|---|
| Title | An Spin / Promela Application for Model checking UML Sequence Diagrams | ||
| Journal | International Journal of Advanced Computer Science and Applications | ||
| Authors | Vidal-Silva, Cristian L. | Author | |
| Villarroel, Rodolfo | Author | ||
| Rubio, Jos´e | Author | ||
| Johnson, Franklin | Author | ||
| Madariaga, Erika | Author | ||
| Campos, Camilo | Author | ||
| Carter, Luis | Author | ||
| Year | 2018 | Volume | 9 |
| Publisher | The Science and Information Organization | ||
| DOI | doi:10.14569/ijacsa.2018.091071Search in ResearchGate | ||
| Generate Citation Formats | |||
| Mindat Ref. ID | 10372114 | Long-form Identifier | mindat:1:5:10372114:1 |
| GUID | 0 | ||
| Full Reference | Vidal-Silva, Cristian L., Villarroel, Rodolfo, Rubio, Jos´e, Johnson, Franklin, Madariaga, Erika, Campos, Camilo, Carter, Luis (2018) An Spin / Promela Application for Model checking UML Sequence Diagrams. International Journal of Advanced Computer Science and Applications, 9. doi:10.14569/ijacsa.2018.091071 | ||
| Plain Text | Vidal-Silva, Cristian L., Villarroel, Rodolfo, Rubio, Jos´e, Johnson, Franklin, Madariaga, Erika, Campos, Camilo, Carter, Luis (2018) An Spin / Promela Application for Model checking UML Sequence Diagrams. International Journal of Advanced Computer Science and Applications, 9. doi:10.14569/ijacsa.2018.091071 | ||
| In | (n.d.) International Journal of Advanced Computer Science and Applications Vol. 9. The Science and Information Organization | ||
See Also
These are possibly similar items as determined by title/reference text matching only.
