• Aucun résultat trouvé

Synthesis of Data Word Transducers

N/A
N/A
Info
Télécharger
Protected

Academic year: 2021

Partager "Synthesis of Data Word Transducers"

Copied!
16
0
0

Chargement.... (Voir le texte intégral maintenant)

Texte intégral

Figure

Table 1 Decidability status of the problems studied.
Figure 1 Pathological DRA specifications.

Références

Télécharger maintenant ( PDF - 16 Page - 779.33 KB )

Documents relatifs