APA Citation

Jacobs, B., Silva, A., & Sokolova, A. (2015). Trace semantics via determinization.

Chicago Style Citation

Jacobs, Bart, Alexandra Silva, and Ana Sokolova. Trace Semantics Via Determinization. 2015.

MLA Citation

Jacobs, Bart, Alexandra Silva, and Ana Sokolova. Trace Semantics Via Determinization. 2015.

Note: citation formatting may not correspond 100% to that defined by the respective standard, to manage citations it is recommended to use the software Zotero , which allows the automatic upload of Oasisbr references.