Specification styles in distributed systems design and verification

Research output: Book/Report › Report › Professional

Cite this

@book{9aef88f86aae4d0dbe78ca1d71b16afa,

title = "Specification styles in distributed systems design and verification",

author = "C.A. Vissers and Giuseppe Scollo and \{van Sinderen\}, \{Marten J.\} and Hendrik Brinksma",

year = "1990",

language = "English",

series = "Memoranda informatica",

publisher = "University of Twente",

number = "90-06",

address = "Netherlands",

}