A Modal Logic for Handling Behavioural Constraints in Formal Hardware Verification

Mendler, MichaelMichaelMendler2023-06-152023-06-151993https://fis.uni-bamberg.de/handle/uniba/59761engA Modal Logic for Handling Behavioural Constraints in Formal Hardware Verificationbook