How to Make the Citation of this Document using the INPE Standard (BibINPE Format)
AMBROSIO, A. M. Systematic test case generation for concurrent FSMs. In: INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS., 2003, (missing or empty field: 'conferencelocation') Proceedings... 2003. p. 46-48. (INPE-10237-PRE/5755). Available from: <http://urlib.net/ibi/6qtX3pFwXQZsFDuKxG/BG4VS>.
How to Make the In-Text Citation (by author/year)
... as proposed by Ambrosio (2003).
... may be found in the literature (AMBROSIO, 2003).