TY - JOUR T1 - Selected papers from the Second IFIP Int'l Conference on Formal Methods for Open Object Based Distributed Systems, 1997 JO - IEEE T SOFTWARE ENG PY - 2000/07/01 AU - Bowman H AU - Derrick J AU - Brinksma E ED - VL - 26 IS - 7 SP - 577 EP - 578 Y2 - 2025/08/11 ER -