APA (7th ed.) Citation

Broda, S., Cavadas, S., Ferreira, M., & Moreira, N. (2015). Deciding synchronous Kleene algebra with derivatives.

Chicago Style (17th ed.) Citation

Broda, Sabine, Sílvia Cavadas, Miguel Ferreira, and Nelma Moreira. Deciding Synchronous Kleene Algebra with Derivatives. 2015.

MLA (8th ed.) Citation

Broda, Sabine, et al. Deciding Synchronous Kleene Algebra with Derivatives. 2015.