Extended Symbolic Transition Graphs with Assignment.

Weijia Deng, Huimin Lin

Browse the full COMPSAC paper archive.