![](/img/cover-not-exists.png)
Modeling and verification of a telecommunication application using live sequence charts and the Play-Engine tool
Pierre Combes, David Harel, Hillel KuglerVolume:
7
Language:
english
Pages:
19
DOI:
10.1007/s10270-007-0069-5
Date:
May, 2008
File:
PDF, 2.03 MB
english, 2008