Formalization and confirmation of the Boyd-Epley operating system model
From MaRDI portal
Publication:1241063
DOI10.1016/0898-1221(77)90109-2zbMath0364.68061OpenAlexW1974908048MaRDI QIDQ1241063
Daniel Ewenczyk, Bernard P. Zeigler
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