Edinburgh Research Archive

Modal logic for handling behavioural constraints in formal hardware verification

Files

Mendler1992.Pdf (9.25 MB)

Item Status

Embargo End Date

Date

1992

Authors

Abstract

URI

http://hdl.handle.net/1842/15374

This item appears in the following Collection(s)

Informatics thesis and dissertation collection