Formal specification and analysis of digital hardware circuits in LOTOS /
He, Ji.
University of Stirling.Department of Computing Science and Mathematics.
Stirling : Dept. of Computing Science and Mathematics, University of Stirling,
2000.
Includes bibliographical references.
Digital electronics.
LOTOS (Computer program language)
Integrated circuits