%0 Journal Article %1 journals/fuin/TalpinGSDG04 %A Talpin, Jean-Pierre %A Guernic, Paul Le %A Shukla, Sandeep K. %A Doucet, Frederic %A Gupta, Rajesh K. %D 2004 %J Fundam. Informaticae %K dblp %N 2 %P 243-273 %T Formal Refinement Checking in a System-level Design Methodology. %U http://dblp.uni-trier.de/db/journals/fuin/fuin62.html#TalpinGSDG04 %V 62

@article{journals/fuin/TalpinGSDG04, added-at = {2020-09-18T00:00:00.000+0200}, author = {Talpin, Jean-Pierre and Guernic, Paul Le and Shukla, Sandeep K. and Doucet, Frederic and Gupta, Rajesh K.}, biburl = {https://www.bibsonomy.org/bibtex/260c560f35eea958edd34ab8f89b8e119/dblp}, ee = {http://content.iospress.com/articles/fundamenta-informaticae/fi62-2-06}, interhash = {712676821589a0300a0cec64f5b9024b}, intrahash = {60c560f35eea958edd34ab8f89b8e119}, journal = {Fundam. Informaticae}, keywords = {dblp}, number = 2, pages = {243-273}, timestamp = {2020-09-19T11:35:21.000+0200}, title = {Formal Refinement Checking in a System-level Design Methodology.}, url = {http://dblp.uni-trier.de/db/journals/fuin/fuin62.html#TalpinGSDG04}, volume = 62, year = 2004 }