Skip to content

Diagnostic Tests for Communicating Nondeterministic Finite State Machines.

Rim Belhassine-Cherif, Abderrazak Ghedamsi

VenueCISCC
Year2000
ProceedingsISCC

Browse the full ISCC paper archive.