Specification styles in distributed systems design and verification

C.A. Vissers, Giuseppe Scollo, Marten J. van Sinderen, Hendrik Brinksma

Research output: Contribution to journalArticleProfessional

Original languageUndefined
Pages (from-to)-
Number of pages25
JournalMemoranda informatica
Volume90
Issue number06
Publication statusPublished - 1990

Keywords

  • METIS-121875

Cite this

@article{9aef88f86aae4d0dbe78ca1d71b16afa,
title = "Specification styles in distributed systems design and verification",
keywords = "METIS-121875",
author = "C.A. Vissers and Giuseppe Scollo and {van Sinderen}, {Marten J.} and Hendrik Brinksma",
year = "1990",
language = "Undefined",
volume = "90",
pages = "--",
journal = "Memoranda informatica",
issn = "0924-3755",
publisher = "University of Twente",
number = "06",

}

Specification styles in distributed systems design and verification. / Vissers, C.A.; Scollo, Giuseppe; van Sinderen, Marten J.; Brinksma, Hendrik.

In: Memoranda informatica, Vol. 90, No. 06, 1990, p. -.

Research output: Contribution to journalArticleProfessional

TY - JOUR

T1 - Specification styles in distributed systems design and verification

AU - Vissers, C.A.

AU - Scollo, Giuseppe

AU - van Sinderen, Marten J.

AU - Brinksma, Hendrik

PY - 1990

Y1 - 1990

KW - METIS-121875

M3 - Article

VL - 90

SP - -

JO - Memoranda informatica

JF - Memoranda informatica

SN - 0924-3755

IS - 06

ER -