Publications

Export 2 results:
Author Title Type [ Year(Asc)]
Filters: Keyword is Model checking and Author is C. Teodorov  [Clear All Filters]
2016
L. Allal, Belalem, G., Dhaussy, P., and Teodorov, C., A Parallel Algorithm for the State Space Exploration, Scalable Computing: Practice and Experience, vol. 17, no. 2, p. 141, 2016.
L. Allal, Belalem, G., Dhaussy, P., and Teodorov, C., Sequential and Parallel Algorithms for the State Space Exploration, CYBERNETICS AND INFORMATION TECHNOLOGIES, vol. 16, no. 1, p. 18, 2016.