Selected papers from the second IFIP Int'l conference on formal methods for open object based distributed systems, 1997

Research output: Contribution to journal › Article › Academic › peer-review

187 Downloads (Pure)

Original language	English
Pages (from-to)	577-578
Journal	IEEE transactions on software engineering
Volume	26
Issue number	7
DOIs	https://doi.org/10.1109/TSE.2000.859528
Publication status	Published - 2000

Keywords

@article{446ac36a67734282be3dfeba304f4fcf,

title = "Selected papers from the second IFIP Int'l conference on formal methods for open object based distributed systems, 1997",

keywords = "METIS-306255, IR-92409",

author = "Howard Bowman and John Derrick and Hendrik Brinksma",

year = "2000",

doi = "10.1109/TSE.2000.859528",

language = "English",

volume = "26",

pages = "577--578",

journal = "IEEE transactions on software engineering",

issn = "0098-5589",

publisher = "IEEE",

number = "7",

}

TY - JOUR

T1 - Selected papers from the second IFIP Int'l conference on formal methods for open object based distributed systems, 1997

AU - Bowman, Howard

AU - Derrick, John

AU - Brinksma, Hendrik

PY - 2000

Y1 - 2000

KW - METIS-306255

KW - IR-92409

U2 - 10.1109/TSE.2000.859528

DO - 10.1109/TSE.2000.859528

M3 - Article

SN - 0098-5589

VL - 26

SP - 577

EP - 578

JO - IEEE transactions on software engineering

JF - IEEE transactions on software engineering

IS - 7

ER -