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/04/27

ER  -