Selected papers from the Second IFIP Int'l Conference on Formal Methods for Open Object Based Distributed Systems, 1997

Authors
Bowman, H Derrick, J Brinksma, E
Citation
H. Bowman et al., Selected papers from the Second IFIP Int'l Conference on Formal Methods for Open Object Based Distributed Systems, 1997, IEEE SOFT E, 26(7), 2000, pp. 577-578
Categorie Soggetti
Computer Science & Engineering
Journal title
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
ISSN journal
00985589 → ACNP
Volume
26
Issue
7
Year of publication
2000
Pages
577 - 578
Database
ISI
SICI code
0098-5589(200007)26:7<577:SPFTSI>2.0.ZU;2-O