Cita APA

Boltenhagen, M., Chatain, T., & Carmona Vargas, J. (2020). Optimized SAT encoding of conformance checking artefacts.

Citación estilo Chicago

Boltenhagen, Mathilde, Thomas Chatain, y Josep|||0000-0001-9656-254X Carmona Vargas. Optimized SAT Encoding of Conformance Checking Artefacts. 2020.

Cita MLA

Boltenhagen, Mathilde, Thomas Chatain, y Josep|||0000-0001-9656-254X Carmona Vargas. Optimized SAT Encoding of Conformance Checking Artefacts. 2020.