depot.lipn.univ-paris13.fr / mosart / publications
mosart/publications/stctl
Strategic (Timed) Computation Tree Logic
dernière synchronisation: il y a 10 mois - étoiles: 0 - forks: 0
Strategic (Timed) Computation Tree Logic
dernière synchronisation: il y a 10 mois - étoiles: 0 - forks: 0