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

Howard Bowman, John Derrick, Hendrik Brinksma

Research output: Contribution to journalArticleAcademicpeer-review

39 Downloads (Pure)
Original languageEnglish
Pages (from-to)577-578
JournalIEEE transactions on software engineering
Volume26
Issue number7
DOIs
Publication statusPublished - 2000

Keywords

  • METIS-306255
  • IR-92409

Cite this

@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",

}

Selected papers from the second IFIP Int'l conference on formal methods for open object based distributed systems, 1997. / Bowman, Howard; Derrick, John; Brinksma, Hendrik.

In: IEEE transactions on software engineering, Vol. 26, No. 7, 2000, p. 577-578.

Research output: Contribution to journalArticleAcademicpeer-review

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

VL - 26

SP - 577

EP - 578

JO - IEEE transactions on software engineering

JF - IEEE transactions on software engineering

SN - 0098-5589

IS - 7

ER -