%0 Conference Paper %1 journals/entcs/DoucetMKGT06 %A Doucet, Frederic %A Menarini, Massimiliano %A Krüger, Ingolf H. %A Gupta, Rajesh K. %A Talpin, Jean-Pierre %B FMGALS@MEMOCODE %D 2005 %E Singh, Montek %E Talpin, Jean-Pierre %I Elsevier %K dblp %N 2 %P 105-131 %T A Verification Approach for GALS Integration of Synchronous Components. %U http://dblp.uni-trier.de/db/conf/fmgals/fmgals2005.html#DoucetMKGT06 %V 146

@inproceedings{journals/entcs/DoucetMKGT06, added-at = {2022-12-16T00:00:00.000+0100}, author = {Doucet, Frederic and Menarini, Massimiliano and Krüger, Ingolf H. and Gupta, Rajesh K. and Talpin, Jean-Pierre}, biburl = {https://www.bibsonomy.org/bibtex/20480f5ad93d40641d8a972357c916629/dblp}, booktitle = {FMGALS@MEMOCODE}, crossref = {conf/fmgals/2005}, editor = {Singh, Montek and Talpin, Jean-Pierre}, ee = {https://doi.org/10.1016/j.entcs.2005.05.038}, interhash = {e109727ef870c4d990fb3951429ece3e}, intrahash = {0480f5ad93d40641d8a972357c916629}, keywords = {dblp}, number = 2, pages = {105-131}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T21:47:54.000+0200}, title = {A Verification Approach for GALS Integration of Synchronous Components.}, url = {http://dblp.uni-trier.de/db/conf/fmgals/fmgals2005.html#DoucetMKGT06}, volume = 146, year = 2005 }