Conformance Checking using Formal Methods.

Antonella Santone, Gigliola Vaglini

Browse the full ICSoft paper archive.