%0 Conference Paper %1 journals/entcs/PadbergEO09 %A Padberg, Julia %A Ehrig, Hartmut %A Orejas, Fernando %B FESCA@ETAPS %D 2007 %E Bowles, Juliana Küster Filipe %E Poernomo, Iman %E Reussner, Ralf H. %I Elsevier %K dblp %N 7 %P 37-53 %T Towards Component Verification in the Generic Component Framework. %U http://dblp.uni-trier.de/db/conf/fesca/fesca2007.html#PadbergEO09 %V 203

@inproceedings{journals/entcs/PadbergEO09, added-at = {2023-02-13T00:00:00.000+0100}, author = {Padberg, Julia and Ehrig, Hartmut and Orejas, Fernando}, biburl = {https://www.bibsonomy.org/bibtex/2e967ad960ffbaf7b3ac7ed5275904780/dblp}, booktitle = {FESCA@ETAPS}, crossref = {conf/fesca/2007}, editor = {Bowles, Juliana Küster Filipe and Poernomo, Iman and Reussner, Ralf H.}, ee = {https://doi.org/10.1016/j.entcs.2009.03.025}, interhash = {380a6d1c4026339bdca59277720a8ee3}, intrahash = {e967ad960ffbaf7b3ac7ed5275904780}, keywords = {dblp}, number = 7, pages = {37-53}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-10T01:57:59.000+0200}, title = {Towards Component Verification in the Generic Component Framework.}, url = {http://dblp.uni-trier.de/db/conf/fesca/fesca2007.html#PadbergEO09}, volume = 203, year = 2007 }