Login / Signup

A Logical Characterisation of Event Recording Automata.

Deepak D'Souza
Published in: FTRTFT (2000)
Keyphrases