Symbolic Transition Graph with Assignment.

Huimin Lin

Browse the full CONCUR paper archive.