%0 Conference Paper %1 conf/springsim/LiVLSW11 %A Li, Xiaobo %A Vangheluwe, Hans %A Lei, Yonglin %A Song, Hongyan %A Wang, Weiping %B SpringSim (TMS-DEVS) %D 2011 %E Wainer, Gabriel A. %E Traoré, Mamadou K. %E Heckel, Reiko %E Himmelspach, Jan %I SCS/ACM %K dblp %P 183-188 %T A testing framework for DEVS formalism implementations. %U http://dblp.uni-trier.de/db/conf/springsim/springsim2011-4.html#LiVLSW11

@inproceedings{conf/springsim/LiVLSW11, added-at = {2019-07-31T00:00:00.000+0200}, author = {Li, Xiaobo and Vangheluwe, Hans and Lei, Yonglin and Song, Hongyan and Wang, Weiping}, biburl = {https://www.bibsonomy.org/bibtex/2d90f21633ff6c827e03f99a4a6427886/dblp}, booktitle = {SpringSim (TMS-DEVS)}, crossref = {conf/springsim/2011-4}, editor = {Wainer, Gabriel A. and Traoré, Mamadou K. and Heckel, Reiko and Himmelspach, Jan}, ee = {http://dl.acm.org/citation.cfm?id=2048500}, interhash = {0ae74c8106d99b54bfd456fc14a2d5c5}, intrahash = {d90f21633ff6c827e03f99a4a6427886}, keywords = {dblp}, pages = {183-188}, publisher = {SCS/ACM}, timestamp = {2019-08-01T11:39:04.000+0200}, title = {A testing framework for DEVS formalism implementations.}, url = {http://dblp.uni-trier.de/db/conf/springsim/springsim2011-4.html#LiVLSW11}, year = 2011 }