DIfusion ULB
Recherche avancée | Historique de recherche Mon DI-fusion | À propos de DI-fusion | Contact |
   Français  Anglais
  • Citer



The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants AND Results


par Jacobs, Swen;Bloem, Roderick;Brenguier, Romain ;Khalimov, Ayrat;Klein, Felix;K"onighofer, Robert;Kreber, Jens;Legg, Alexander;Narodytska, Nina;Pérez, Guillermo G.A.;Raskin, Jean-François ;Ryzhyk, Leonid;Sankur, Ocan ;Seidl, Martina;Tentrup, Leander;Walker, Adam
Référence Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada, July 17-18, 2016., Vol. 229, page (149-177)
Publication Publié, 2016
Publication dans des actes
  • Accès en ligne
  • Détails
  • Statistiques

Documents en relation

DI-fusion

Cannot find similar records
Référencement Visibilité Pérennité Facilité
 Les publications encodées constituent la bibliographie académique de l'Université.
 Les documents déposés sont indexés par les moteurs de recherche (Google Scholar,…).  Les documents déposés en open-access sont archivés au sein du réseau de préservation SAFE-PLN (www.safepln.org).  Les listes de publications sont compatibles avec le CV-ULB, le FNRS et accessibles sur le web.
Conditions d'utilisation - Version : 4.1 (2019) 
Exporter la liste de :   
Loading
Fermer
Export bibliographie


Depuis :             Jusqu'à :    




Oui (Non est la valeur par défaut)

Oui (Non est la valeur par défaut)

Oui (Non est la valeur par défaut)