@inproceedings{raji2011d,
Author = {Amine Raji and Philippe Dhaussy},
Booktitle = {the 18th Asian Pacific Software Engineering Conference (APSEC), University of Science, VNU-HCM, Ho Chi Minh City, Vietnam},
Date-Added = {2012-02-08 18:43:48 +0000},
Date-Modified = {2012-02-08 18:50:52 +0000},
Month = {December},
Pages = {65-72},
Publisher = {IEEE Computer Society},
Series = {DOI10.1109/APSCEC.2.02101.12.525},
Title = {Use Cases Modeling for Scalable Model-Checking},
Year = {2011}}