Symbolic execution of LOTOS specifications.

Henk Eertink, Dietmar Wolz

Browse the full FORTE paper archive.