Publication:3933803

zbMath0477.68111MaRDI QIDQ3933803

Georg Lausen

Publication date: 1981

zbMATH Keywords

correctness; abstract hardware independent database model

Mathematics Subject Classification ID

68M20: Performance evaluation, queueing, and scheduling in the context of computer systems

68P20: Information storage and retrieval of data