Funder
Ministry of Education and Research
European Regional Development Fund
Subject
Software,Theoretical Computer Science,Computational Theory and Mathematics,Logic
Reference38 articles.
1. Stateless model checking for TSO and PSO;Aziz Abdulla;Acta Inform.,2017
2. Partial orders for efficient bounded model checking of concurrent software;Alglave,2013
3. Herding cats: modelling, simulation, testing, and data mining for weak memory;Alglave;ACM Trans. Program. Lang. Syst.,2014
4. Inhomogeneous sorting;Anisimov;Int. J. Parallel Program.,1979
5. Partial derivatives of regular expressions and finite automaton constructions;Antimirov;Theor. Comput. Sci.,1996