Skip to main content
Article thumbnail
Location of Repository

Formal specification and analysis of digital hardware circuits in LOTOS

By J. He and Stirling Univ. (United Kingdom). Dept. of Computing Science and Mathematics


SIGLEAvailable from British Library Document Supply Centre-DSC:8723.4018(CSM-158) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Topics: 09B - Circuits, 09H - Computer software, programming, 09A - Components, LOGIC, TIMED, ASYNCHRONOUS, SYNCHRONOUS
Year: 2000
OAI identifier:
Provided by: OpenGrey Repository
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.