APA引文

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引文

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