Login / Signup

Safe Executions of Recognizable Trace Languages by Asynchronous Automata.

Wieslaw Zielonka
Published in: Logic at Botik (1989)
Keyphrases