آثار القابلية

Replacing Accumulating Traces

Hybride sophistiqué combinant accumulation pour les états distincts et remplacement pour les visites répétées du même état dans un épisode.

← رجوع