This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
6. Bibliography
A.Blikle, S.Budkowski A general program — verification method applied to microprograms, Proceedings of International Symposium on Fault-Tolerance Computing Pittsburg, Pa., June 21–23, 1976
I.Hansen, J.Leszczyłowski Structure-context approach to microprogram analysis I Computation Centre Polish Academy of Sciences Reports, 1976
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1976 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hansen, I., Leszczyłowski, J. (1976). Microprogram — Oriented model of the controlled structure. In: Mazurkiewicz, A. (eds) Mathematical Foundations of Computer Science 1976. MFCS 1976. Lecture Notes in Computer Science, vol 45. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-07854-1_193
Download citation
DOI: https://doi.org/10.1007/3-540-07854-1_193
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07854-8
Online ISBN: 978-3-540-38169-3
eBook Packages: Springer Book Archive