Approximation of (H)MSC Semantics By Automata.

Nikolai Mansurov Dmitri Vasura Approximation of (H)MSC Semantics By Automata. 154- 2000 conf/sam/2000 SAM db/conf/sam/sam2000.html#MansurovV00