%0 Conference Paper %1 conf/atva/BanerjeeRDCRG08 %A Banerjee, Ansuman %A Ray, Sayak %A Dasgupta, Pallab %A Chakrabarti, Partha Pratim %A Ramesh, S. %A Ganesan, P. Vignesh V. %B ATVA %D 2008 %E Cha, Sung Deok %E Choi, Jin-Young %E Kim, Moonzoo %E Lee, Insup %E Viswanathan, Mahesh %I Springer %K dblp %P 222-227 %T A Dynamic Assertion-Based Verification Platform for Validation of UML Designs. %U http://dblp.uni-trier.de/db/conf/atva/atva2008.html#BanerjeeRDCRG08 %V 5311 %@ 978-3-540-88386-9

@inproceedings{conf/atva/BanerjeeRDCRG08, added-at = {2023-03-14T00:00:00.000+0100}, author = {Banerjee, Ansuman and Ray, Sayak and Dasgupta, Pallab and Chakrabarti, Partha Pratim and Ramesh, S. and Ganesan, P. Vignesh V.}, biburl = {https://www.bibsonomy.org/bibtex/2fc09aa69ba4bf5542ccda99472d6f18a/dblp}, booktitle = {ATVA}, crossref = {conf/atva/2008}, editor = {Cha, Sung Deok and Choi, Jin-Young and Kim, Moonzoo and Lee, Insup and Viswanathan, Mahesh}, ee = {https://doi.org/10.1007/978-3-540-88387-6_18}, interhash = {3b7cc56022c989a5c935ae8c7f2021ba}, intrahash = {fc09aa69ba4bf5542ccda99472d6f18a}, isbn = {978-3-540-88386-9}, keywords = {dblp}, pages = {222-227}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T14:24:46.000+0200}, title = {A Dynamic Assertion-Based Verification Platform for Validation of UML Designs.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2008.html#BanerjeeRDCRG08}, volume = 5311, year = 2008 }