PALIKAREVA, Hristina, ROSCOE, A. W. und OUAKNINE, Joel, 2012. Techniques and tools for the verification of concurrent systems [online]. University of Oxford, 2012. Available from: https://ethos.bl.uk/Order Details.do?uin=uk.bl.ethos.581031
Elsevier - Harvard (with titles)Palikareva, H., Roscoe, A.W., Ouaknine, J., 2012. Techniques and tools for the verification of concurrent systems. University of Oxford, 2012.
American Psychological Association 7th editionPalikareva, H., Roscoe, A. W., & Ouaknine, J. (2012). Techniques and tools for the verification of concurrent systems. University of Oxford, 2012. https://ethos.bl.uk/Order Details.do?uin=uk.bl.ethos.581031
Springer - Basic (author-date)Palikareva H, Roscoe AW, Ouaknine J (2012) Techniques and tools for the verification of concurrent systems. University of Oxford, 2012
Juristische Zitierweise (Stüber) (Deutsch)Palikareva, Hristina/ Roscoe, A. W./ Ouaknine, Joel, Techniques and tools for the verification of concurrent systems, 2012.