„Cancurrent systems“

Suchergebnisse

1 Treffer

• Logics on data words – Expressivity, satisfiability, model checking
  Kara, Ahmet ; Schwentick, Thomas ; Bollig, Benedikt 2016 Universitätsbibliothek Dortmund