APA (7th ed.) Citation

Nicolas, V., Lallali, M., Rubini, S., & Singhoff, F. (2018). Verification of Scheduling Properties Based on Execution Traces. Ada User Journal, 39(4), 291.

Chicago Style (17th ed.) Citation

Nicolas, Valérie-Anne, Mounir Lallali, Stéphane Rubini, and Frank Singhoff. "Verification of Scheduling Properties Based on Execution Traces." Ada User Journal 39, no. 4 (2018): 291.

MLA (9th ed.) Citation

Nicolas, Valérie-Anne, et al. "Verification of Scheduling Properties Based on Execution Traces." Ada User Journal, vol. 39, no. 4, 2018, p. 291.