Representation of process-gate nets in LOTOS and verification of LOTOS laws: the Boolean algebra approach.

Pim Kars

Browse the full FORTE paper archive.