The influence of the formal description technique LOTOS on concurrent system design

P.N. Taylor, D.E. Smith

    Research output: Book/Report › Other report

    89 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'The influence of the formal description technique LOTOS on concurrent system design'. Together they form a unique fingerprint.

    Engineering & Materials Science