Article Takedown/Update Request

This is an update request for the document Formal specification and analysis of digital hardware circuits in LOTOS by J. He and Stirling Univ. (United Kingdom). Dept. of Computing Science and Mathematics

Your paper was deposited in OpenGrey Repository and appears online at
Before we are able to make any updates or deletions, you must ensure that the original record at this location is updated/removed.