Author:
Guidoum Nousseiba,Bensouyad Meriem,Saïdouni Djamel-Eddine
Publisher
Springer International Publishing
Reference19 articles.
1. Guidoum, N., Bensouyad, M., & Saïdouni, D. E. (2013). The strict strong coloring based graph distribution algorithm. International Journal of Applied Metaheuristic Computing, 4, 50–66.
2. Valmari, A. (1998). The state explosion problem. In Lectures on Petri Nets I: Basic Models: Of Lecture Notes in Computer Science (vol. 1491, pp. 429–528). London, UK.
3. Clarke, E., Grumberg, O., & Peled, D. (1999). Model checking. Cambridge, MA: The MIT Press.
4. Bérard, B., Bidoit, M., Finkel, A., Laroussinie, F., Petit, A., Petrucci, L., et al. (2001). Systems and software verification: Model-checking techniques and tools. Springer.
5. Bixby, R., Kennedy, K., & Kremer, U. (1993). Automatic data layout using 0–1 integer programming, Houston, TX, United State: Rice University, Center for Research on Parallel Computation, Tech. Rep. CRPC-TR93349-S.