View in EDS

Specification and verification of concurrent systems by causality and realizability.

Saved in:
Bibliographic Details
Title: Specification and verification of concurrent systems by causality and realizability.
Authors: Broy, Manfred1, broy@in.tum.de
Source: Theoretical Computer Science; Sep2023, Vol. 974, pN.PAG-N.PAG, 1p
Database: Applied Science & Technology Source
Be the first to leave a comment!
You must be logged in first