DSpace

DSpace at RU >    University Library >    Academic bibliography >

SFX Query

Files in This Item:

File Description SizeFormat
preprint version107.89 kBAdobe PDFView/Open

Title: The axiomatization of override and update
Author(s): Berendsen, J.K. (296908274)
Jansen, D.N. (215676866)
Schmaltz, J. (32982550X)
Vaandrager, F.W. (07206806X)
Publication year: 2010
Document type: Article / Letter to editor
Journal: Journal of Applied Logic
ISSN: 1570-8683
Volume: vol. 8
Issue: iss. 1
Start page: p. 141
End page: p. 150
Annotation: Scientific publication
Subject: Model Based System Development
Organization: Informatics for Technical Applications
Model Based System Development
Appears in Collections:Academic bibliography

Please use this identifier to cite or link to this item: http://hdl.handle.net/2066/83911

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

 

  DSpace Software Copyright © 2002-2011  Duraspace - Feedback