Generalizing the Submodule Construction Techniques for Extended State Machine Models.

Bassel Daou, Gregor von Bochmann

Browse the full FORTE paper archive.