APA (7th ed.) Citation

Fijalkow, N., Kiefer, S., & Shirmohammadi, M. (2015). Trace refinement in labelled Markov decision processes. European Joint Conferences on Theory and Practice of Software (ETAPS).

Chicago Style (17th ed.) Citation

Fijalkow, N., S. Kiefer, and M. Shirmohammadi. Trace Refinement in Labelled Markov Decision Processes. European Joint Conferences on Theory and Practice of Software (ETAPS), 2015.

MLA (9th ed.) Citation

Fijalkow, N., et al. Trace Refinement in Labelled Markov Decision Processes. European Joint Conferences on Theory and Practice of Software (ETAPS), 2015.