Publications

Export 2 results:
Author Title Type [ Year(Asc)]
Filters: Keyword is Formal methods  [Clear All Filters]
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.
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.