%0 Conference Paper %1 conf/fase/ChildsGRDDHJSS04 %A Childs, Adam %A Greenwald, Jesse %A Ranganath, Venkatesh Prasad %A Deng, Xianghua %A Dwyer, Matthew B. %A Hatcliff, John %A Jung, Georg %A Shanti, Prashant %A Singh, Gurdip %B FASE %D 2004 %E Wermelinger, Michel %E Margaria, Tiziana %I Springer %K dblp %P 160-164 %T Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems. %U http://dblp.uni-trier.de/db/conf/fase/fase2004.html#ChildsGRDDHJSS04 %V 2984 %@ 3-540-21305-8

@inproceedings{conf/fase/ChildsGRDDHJSS04, added-at = {2018-11-02T00:00:00.000+0100}, author = {Childs, Adam and Greenwald, Jesse and Ranganath, Venkatesh Prasad and Deng, Xianghua and Dwyer, Matthew B. and Hatcliff, John and Jung, Georg and Shanti, Prashant and Singh, Gurdip}, biburl = {https://www.bibsonomy.org/bibtex/2c332b04b8f08521e0b087e96c7841eee/dblp}, booktitle = {FASE}, crossref = {conf/fase/2004}, editor = {Wermelinger, Michel and Margaria, Tiziana}, ee = {https://doi.org/10.1007/978-3-540-24721-0_11}, interhash = {9ec47a207c1feaff2662b46febd79845}, intrahash = {c332b04b8f08521e0b087e96c7841eee}, isbn = {3-540-21305-8}, keywords = {dblp}, pages = {160-164}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-06-04T12:50:27.000+0200}, title = {Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems.}, url = {http://dblp.uni-trier.de/db/conf/fase/fase2004.html#ChildsGRDDHJSS04}, volume = 2984, year = 2004 }