Formalization and confirmation of the Boyd-Epley operating system model
From MaRDI portal
Publication:1241063
DOI10.1016/0898-1221(77)90109-2zbMATH Open0364.68061OpenAlexW1974908048MaRDI QIDQ1241063FDOQ1241063
Authors: Bernard P. Zeigler, Daniel Ewenczyk
Publication date: 1977
Published in: Computers & Mathematics with Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0898-1221(77)90109-2
Cites Work
This page was built for publication: Formalization and confirmation of the Boyd-Epley operating system model
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1241063)