Skip to content

Submodule Construction for Extended State Machine Models.

Bassel Daou, Gregor von Bochmann

VenueCFORTE
Year2005
ProceedingsFORTE

Browse the full FORTE paper archive.