Close


How to Make the Citation of this Document using the INPE Standard (BibINPE Format)

SANTOS, L. B. R.; SANTIAGO JÚNIOR, V. A.; VIJAYKUMAR, N. L. Transformation of UML behavioral diagrams to support software model checking. Electronic Proceedings in Theoretical Computer Science, v. 147, p. 133-142, 2014. DOI: <10.4204/EPTCS.147.10>. Available from: <http://doi.org/10.4204/EPTCS.147.10>.

How to Make the In-Text Citation (by author/year)

... as proposed by Santos, Santiago Júnior and Vijaykumar (2014).
... may be found in the literature (SANTOS; SANTIAGO JÚNIOR; VIJAYKUMAR, 2014).



Close