Specification styles in distributed systems design and verification

Research output: Contribution to journal › Article › Professional

Keywords

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

}