, , , ,
Springer
J.C.M. Baeten (Jos) , T. Ball , F.S. de Boer (Frank)
Lecture Notes in Computer Science
IFIP International Conference on Theoretical Computer Science
Directie

Baeten, J.C.M, Ball, T, & de Boer, F.S (Eds.). (2012). Theoretical computer science : 7th IFIP TC1/WG2.2 international conference, TCS 2012 : Amsterdam, The Netherlands, September 2012 : proceedings. In J.C.M Baeten, T Ball, & F.S de Boer (Eds.), Lecture Notes in Computer Science. Springer.