Yangluo Zheng

Un nouvel algorithme améliore le problème de la reachabilité dans les systèmes d'addition de vecteurs avec états.

Une explication simple des systèmes d'addition de vecteurs et de leurs problèmes de atteignabilité.