=Paper=
{{Paper
|id=Vol-3998/paper09
|storemode=property
|title= Interval Order Synthesis of EN-Systems with Read and Mutex Arcs
|pdfUrl=https://ceur-ws.org/Vol-3998/paper09.pdf
|volume=Vol-3998
|authors=Maciej Koutny,Marta Pietkiewicz-Koutny,Łukasz Mikulski
}}
== Interval Order Synthesis of EN-Systems with Read and Mutex Arcs==
<pdf width="1500px">https://ceur-ws.org/Vol-3998/paper09.pdf</pdf>
<pre>
None
</pre>