Equivalence algorithm to point out errors for basic LOTOS in distributed system environment and its prototype

Byung ho Park*, Shigetomo Kimura, Eun Seok Lee, Norio Shiratori

*Corresponding author for this work

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Fingerprint

    Dive into the research topics of 'Equivalence algorithm to point out errors for basic LOTOS in distributed system environment and its prototype'. Together they form a unique fingerprint.

    Engineering & Materials Science