Cite
Synthesizing Modal Transition Systems from Triggered Scenarios.
MLA
Sibay, German Emir, et al. “Synthesizing Modal Transition Systems from Triggered Scenarios.” IEEE Transactions on Software Engineering, vol. 39, no. 7, July 2013, pp. 975–1001. EBSCOhost, https://doi.org/10.1109/TSE.2012.62.
APA
Sibay, G. E., Braberman, V., Uchitel, S., & Kramer, J. (2013). Synthesizing Modal Transition Systems from Triggered Scenarios. IEEE Transactions on Software Engineering, 39(7), 975–1001. https://doi.org/10.1109/TSE.2012.62
Chicago
Sibay, German Emir, Victor Braberman, Sebastian Uchitel, and Jeff Kramer. 2013. “Synthesizing Modal Transition Systems from Triggered Scenarios.” IEEE Transactions on Software Engineering 39 (7): 975–1001. doi:10.1109/TSE.2012.62.