Login / Signup

Ehrenfeucht-Fraisse Games for TPTL and MTL over Non-monotonic Data Words.

Claudia CarapelleShiguang FengOliver Fernandez GilKarin Quaas
Published in: AFL (2014)
Keyphrases