How to Make the Citation of this Document using the INPE Standard (BibINPE Format)
SANTIAGO JÚNIOR, V. A.; TAHAR, S. Time performance formal evaluation of complex systems. In: CORNÉLIO, Márcio; ROSCOE, Bill (Ed.). Formal Methods: Foundations and Applications. Springer, 2016. v. 9526, p. 162-177. ISBN 978-331929472-8. DOI: <10.1007/978-3-319-29473-5_10>. Available from: <http://doi.org/10.1007/978-3-319-29473-5_10>.
How to Make the In-Text Citation (by author/year)
... as proposed by Santiago Júnior and Tahar (2016).
... may be found in the literature (SANTIAGO JÚNIOR; TAHAR, 2016).