APA (7th ed.) Citation

Leucker, M., Sánchez, C., Scheffel, T., Schmitz, M., & Thoma, D. (2019). Runtime Verification For Timed Event Streams With Partial Information.

Chicago Style (17th ed.) Citation

Leucker, Martin, César Sánchez, Torben Scheffel, Malte Schmitz, and Daniel Thoma. Runtime Verification For Timed Event Streams With Partial Information. 2019.

MLA (8th ed.) Citation

Leucker, Martin, et al. Runtime Verification For Timed Event Streams With Partial Information. 2019.

Warning: These citations may not always be 100% accurate.
Visit our Citation Styles guide for help on properly citing sources.