Publications

Export 4 results:
Author [ Title(Desc)] Type Year
Filters: Keyword is Model checking and Author is G. Belalem  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
P
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.
T
L. Allal, Belalem, G., and Dhaussy, P., Towards Distributed Solution to the State Explosion Problem, Third International Conference on Information System Design and Intelligent Applications, vol. 433. Springer, Vishakapatnam, India, pp. 541-550, 2016.
L. Allal, Belalem, G., and Dhaussy, P., Towards Distributed Solution to the State Explosion Problem, Third International Conference on Information System Design and Intelligent Applications, vol. LNCS 433. Springer, Visakhapatnam, India, pp. 541-550, 2016.