E-mail senden E-Mail Adresse kopieren
2017

The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results

Workshop

Proceedings Sixth Workshop on Synthesis, SYNT 2017, Heidelberg, Germany, 22nd July 2017.

Veröffentlichungsdatum

2017

Letztes Änderungsdatum

2021-06-04 08:39:24