Skip to content

Local Checking of Trace Synchroniziability.

Volker Diekert, Walter Vogler

VenueBMFCS
Year1988
ProceedingsMFCS

Browse the full MFCS paper archive.