1
Published 2013
Table of Contents: ... Problem.- Dynamic Communicating Automata and Branching High-Level MSCs.- Visibly Pushdown Automata...
View full text
Electronic eBook