E-mail senden E-Mail Adresse kopieren
2014-01-01

Deductive control synthesis for alternating-time logics

Konferenz / Medium

Proc. of the International Conference on Embedded Software (EMSOFT 2014)

Veröffentlichungsdatum

2014-01-01

Letztes Änderungsdatum

2019-07-18 12:09:26