Article citationsMore>>

Chen, R. and Jean-Jacques, L. (2017) Une preuve formelle de l’algorithme de Tarjan-1972 pour trouver les composantes fortement connexes dans un graphe. JFLA 2017-Vingt-huitièmes Journées Francophones des Langages Applicatifs.

has been cited by the following article:

SCIRP Newsletter
Copyright © 2006-2026 Scientific Research Publishing Inc. All Rights Reserved.
Top