APA (7th ed.) Citation

Gorostiaga, F., & Sánchez, C. (2018). Striver: Stream Runtime Verification for Real-Time Event-Streams. Runtime Verification, 11237, 282-298. https://doi.org/10.1007/978-3-030-03769-7_16

Chicago Style (17th ed.) Citation

Gorostiaga, Felipe, and César Sánchez. "Striver: Stream Runtime Verification for Real-Time Event-Streams." Runtime Verification 11237 (2018): 282-298. https://doi.org/10.1007/978-3-030-03769-7_16.

MLA (9th ed.) Citation

Gorostiaga, Felipe, and César Sánchez. "Striver: Stream Runtime Verification for Real-Time Event-Streams." Runtime Verification, vol. 11237, 2018, pp. 282-298, https://doi.org/10.1007/978-3-030-03769-7_16.