E-mail senden E-Mail Adresse kopieren
2015

The Second Reactive Synthesis Competition (SYNTCOMP 2015)

Tags
ASDPS Vertrauenswürdige Informations­verarbeitung
Workshop

Proceedings Fourth Workshop on Synthesis, SYNT 2015, San Francisco, CA, USA, 18th July 2015.

Veröffentlichungsdatum

2015

Letztes Änderungsdatum

2021-06-04 08:39:06

Autor:innen
  • Swen Jacobs
  • Roderick Bloem
  • Romain Brenguier
  • Robert Könighofer
  • Guillermo A. Perez
  • Jean-Francois Raskin
  • Leonid Ryzhyk
  • Ocan Sankur
  • Martina Seidl
  • Leander Tentrup
  • Adam Walker
Herunterladen