|
by Badouel, Eric, Bernardinello, Luca, Darondeau, Philippe
Published 2015
“...Texts in Theoretical Computer Science. An EATCS Series...”Published 2015
Springer Berlin Heidelberg