"Semantics and verification of object-role models."

Patrick van Bommel, Arthur H. M. ter Hofstede, Theo P. van der Weide (1991)

Details and statistics

DOI: 10.1016/0306-4379(91)90037-A

access: closed

type: Journal Article

metadata version: 2019-10-19

a service of  Schloss Dagstuhl - Leibniz Center for Informatics