DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-030-81685-8_16,9987,KrCh,Stateless model checking under a reads-value-from equivalence