Cita APA

Bloem, R., Fey, G., Greif, F., Könighofer, R., Pill, I., Riener, H., & Röck, F. (2019). Synthesizing adaptive test strategies from temporal logic specifications. Form Methods Syst Des.

Citación estilo Chicago

Bloem, Roderick, Goerschwin Fey, Fabian Greif, Robert Könighofer, Ingo Pill, Heinz Riener, y Franz Röck. "Synthesizing Adaptive Test Strategies From Temporal Logic Specifications." Form Methods Syst Des 2019.

Cita MLA

Bloem, Roderick, et al. "Synthesizing Adaptive Test Strategies From Temporal Logic Specifications." Form Methods Syst Des 2019.