Feasibility Analysis of the EFSM Transition Path Combining Slicing with Theorem Proving.

Gongzheng Lu, Huaikou Miao

Browse the full TASE paper archive.