Ausgabe 4/2012
Inhalt (3 Artikel)
Original Article
First-order logics: some characterizations and closure properties
Christian Choffrut, Andreas Malcher, Carlo Mereghetti, Beatrice Palano
Original Article
On timed alternating simulation for concurrent timed games
Laura Bozzelli, Axel Legay, Sophie Pinchinat