E-mail senden E-Mail Adresse kopieren
2015

Reachability Analysis of Reversal-bounded Automata on Series-Parallel Graphs

Konferenz / Medium

Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2015, Genoa, Italy, 21-22nd September 2015.

Veröffentlichungsdatum

2015

Letztes Änderungsdatum

2018-02-22 15:03:33