BOWMAN, H., DERRICK, J. and BRINKSMA, E., 2000. Selected papers from the second IFIP Int’l conference on formal methods for open object based distributed systems, 1997. IEEE Transactions on Software Engineering, Software Engineering, IEEE Transactions on, IIEEE Trans. Software Eng. 1 July 2000. Vol. 26, no. 7, p. 577-578. DOI 10.1109/TSE.2000.859528.
Elsevier - Harvard (with titles)Bowman, H., Derrick, J., Brinksma, E., 2000. Selected papers from the second IFIP Int’l conference on formal methods for open object based distributed systems, 1997. IEEE Transactions on Software Engineering, Software Engineering, IEEE Transactions on, IIEEE Trans. Software Eng. 26, 577-578. https://doi.org/10.1109/TSE.2000.859528
American Psychological Association 7th editionBowman, H., Derrick, J., & Brinksma, E. (2000). Selected papers from the second IFIP Int’l conference on formal methods for open object based distributed systems, 1997. IEEE Transactions on Software Engineering, Software Engineering, IEEE Transactions On, IIEEE Trans. Software Eng., 26(7), 577-578. https://doi.org/10.1109/TSE.2000.859528
Springer - Basic (author-date)Bowman H, Derrick J, Brinksma E (2000) Selected papers from the second IFIP Int’l conference on formal methods for open object based distributed systems, 1997. IEEE Transactions on Software Engineering, Software Engineering, IEEE Transactions on, IIEEE Trans. Software Eng. 26:577-578. https://doi.org/10.1109/TSE.2000.859528
Juristische Zitierweise (Stüber) (Deutsch)Bowman, H./ Derrick, J./ Brinksma, E., Selected papers from the second IFIP Int’l conference on formal methods for open object based distributed systems, 1997, IEEE Transactions on Software Engineering, Software Engineering, IEEE Transactions on, IIEEE Trans. Software Eng. 2000, 577-578.