%0 Conference Paper %1 conf/hvc/ElamkulamGRKGKDM06 %A Elamkulam, Janees %A Glazberg, Ziv %A Rabinovitz, Ishai %A Kowlali, Gururaja %A Gupta, Satish Chandra %A Kohli, Sandeep %A Dattathrani, Sai %A Macia, Claudio Paniagua %B Haifa Verification Conference %D 2006 %E Bin, Eyal %E Ziv, Avi %E Ur, Shmuel %I Springer %K dblp %P 109-121 %T Detecting Design Flaws in UML State Charts for Embedded Software. %U http://dblp.uni-trier.de/db/conf/hvc/hvc2006.html#ElamkulamGRKGKDM06 %V 4383 %@ 978-3-540-70888-9

@inproceedings{conf/hvc/ElamkulamGRKGKDM06, added-at = {2017-05-19T00:00:00.000+0200}, author = {Elamkulam, Janees and Glazberg, Ziv and Rabinovitz, Ishai and Kowlali, Gururaja and Gupta, Satish Chandra and Kohli, Sandeep and Dattathrani, Sai and Macia, Claudio Paniagua}, biburl = {https://www.bibsonomy.org/bibtex/2a0495e404fc1fa1e77c538b0fc5d40f0/dblp}, booktitle = {Haifa Verification Conference}, crossref = {conf/hvc/2006}, editor = {Bin, Eyal and Ziv, Avi and Ur, Shmuel}, ee = {https://doi.org/10.1007/978-3-540-70889-6_8}, interhash = {35deaa08863ad942fbde1a772afddea8}, intrahash = {a0495e404fc1fa1e77c538b0fc5d40f0}, isbn = {978-3-540-70888-9}, keywords = {dblp}, pages = {109-121}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:06:33.000+0200}, title = {Detecting Design Flaws in UML State Charts for Embedded Software.}, url = {http://dblp.uni-trier.de/db/conf/hvc/hvc2006.html#ElamkulamGRKGKDM06}, volume = 4383, year = 2006 }