On Syntactic and Semantic Notions of Refinement

U. Goltz, R. Gorrierri, Arend Rensink

Research output: Contribution to journal › Article › Professional

Original language	Undefined
Pages (from-to)	-
Number of pages	31
Journal	Hildesheimer Informatik-Berichte
Volume	92
Issue number	18
Publication status	Published - 1992

Keywords

@article{6b24ef6f9cdc4058b0c54cf62e3eb2b5,

title = "On Syntactic and Semantic Notions of Refinement",

keywords = "METIS-121778",

author = "U. Goltz and R. Gorrierri and Arend Rensink",

year = "1992",

language = "Undefined",

volume = "92",

pages = "--",

journal = "Hildesheimer Informatik-Berichte",

issn = "0941-3014",

publisher = "University of Hildesheim",

number = "18",

}