Cita APA (7a ed.)

Sibay, G., Braberman, V., Uchitel, S., & Kramer, J. Synthesizing modal transition systems from triggered scenarios.

Cita Chicago Style (17a ed.)

Sibay, G.E, V. Braberman, S. Uchitel, y J. Kramer. Synthesizing Modal Transition Systems from Triggered Scenarios.

Cita MLA (8a ed.)

Sibay, G.E, et al. Synthesizing Modal Transition Systems from Triggered Scenarios.