The Community for Technology Leaders
Green Image
INDEX TERMS
CITATION
Ed Brinksma, Howard Bowman, John Derrick, "Selected Papers from the Second IFIP Int'l Conference on Formal Methods for Open Object Based Distributed Systems, 1997", IEEE Transactions on Software Engineering, vol. 26, no. , pp. 577-578, July 2000, doi:10.1109/TSE.2000.859528
82 ms
(Ver 3.3 (11022016))