The Community for Technology Leaders
Green Image
INDEX TERMS
CITATION

E. Brinksma, H. Bowman and J. Derrick, "Selected Papers from the Second IFIP Int'l Conference on Formal Methods for Open Object Based Distributed Systems, 1997," in IEEE Transactions on Software Engineering, vol. 26, no. , pp. 577-578, 2000.
doi:10.1109/TSE.2000.859528
86 ms
(Ver 3.3 (11022016))