Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

[IEEE 2011 26th Annual IEEE Symposium on Logic in Computer...

  • Main
  • [IEEE 2011 26th Annual IEEE Symposium...

[IEEE 2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011) - Toronto, ON, Canada (2011.06.21-2011.06.24)] 2011 IEEE 26th Annual Symposium on Logic in Computer Science - Temporal Specifications with Accumulative Values

Boker, Udi, Chatterjee, Krishnendu, Henzinger, Thomas A., Kupferman, Orna
Avez-vous aimé ce livre?
Quelle est la qualité du fichier téléchargé?
Veuillez télécharger le livre pour apprécier sa qualité
Quelle est la qualité des fichiers téléchargés?
Année:
2011
Langue:
english
DOI:
10.1109/lics.2011.33
Fichier:
PDF, 330 KB
english, 2011
La conversion en est effectuée
La conversion en a échoué