Hadrien Bride, Olga Kouchnarenko, Fabien Peureux, Guillaume Voiron. Assessing SMT and CLP approaches for workflow nets verification. STTT, 20(4):467-491, 2018. [doi]
No references recorded for this publication.
No citations of this publication recorded.