Concurrency Verification Introduction to Compositional and Non-compositional Methods Roever, Willem-Paul de Innbundet / 2001 / Engelsk
Concurrency Verification Introduction to Compositional and Non-compositional Methods Roever, Willem-Paul de Heftet / 2012 / Engelsk
