@article{article, title  = {{Selected papers from the Second IFIP Int'l Conference on Formal Methods for Open Object Based Distributed Systems, 1997}},

 url = {{}},

 year = {{2002}},

 month = {{8}},

 author = {{Bowman H and Derrick J and Brinksma E}},

 volume = {{26}},

 journal = {{IEEE T SOFTWARE ENG}},

 issue = {{7}},

 pages = {{577-578}},

 note = {{Accessed on 2025/11/27}}}