Formal description techniques for distributed computing systems: The challenges for the 1990's

C.A. Vissers, J. van de Lagemaat, L. Ferreira Pires

Research output: Book/Report › Report › Professional

Cite this

@book{af91af229d3849388fc006f2d14ab7a0,

title = "Formal description techniques for distributed computing systems: The challenges for the 1990's",

author = "C.A. Vissers and {van de Lagemaat}, J. and {Ferreira Pires}, L.",

year = "1990",

language = "English",

series = "Memoranda informatica",

publisher = "University of Twente",

number = "90-31",

address = "Netherlands",

}