%0 Conference Paper %1 conf/icfem/CodescuLMM09 %A Codescu, Mihai %A Langenstein, Bruno %A Maeder, Christian %A Mossakowski, Till %B ICFEM %D 2009 %E Breitman, Karin K. %E Cavalcanti, Ana %I Springer %K dblp %P 660-678 %T The VSE Refinement Method in Hets. %U http://dblp.uni-trier.de/db/conf/icfem/icfem2009.html#CodescuLMM09 %V 5885 %@ 978-3-642-10372-8

@inproceedings{conf/icfem/CodescuLMM09, added-at = {2020-06-15T00:00:00.000+0200}, author = {Codescu, Mihai and Langenstein, Bruno and Maeder, Christian and Mossakowski, Till}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2eb9b14711c7a2324a4822e1513dcfef9/dblp}, booktitle = {ICFEM}, crossref = {conf/icfem/2009}, editor = {Breitman, Karin K. and Cavalcanti, Ana}, ee = {https://doi.org/10.1007/978-3-642-10373-5_34}, interhash = {9a0cc121a45b6a84dd286675fc40a1ad}, intrahash = {eb9b14711c7a2324a4822e1513dcfef9}, isbn = {978-3-642-10372-8}, keywords = {dblp}, pages = {660-678}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2022-03-01T06:53:37.000+0100}, title = {The VSE Refinement Method in Hets.}, url = {http://dblp.uni-trier.de/db/conf/icfem/icfem2009.html#CodescuLMM09}, volume = 5885, year = 2009 }