{"_id":"iuZ6dXaxFht2RcS6d","bibbaseid":"talpin-guernic-shukla-doucet-gupta-formalrefinementcheckinginasystemleveldesignmethodology-2004","downloads":0,"creationDate":"2016-09-14T11:41:42.956Z","title":"Formal Refinement Checking in a System-level Design Methodology.","author_short":["Talpin, J.","Guernic, P. L.","Shukla, S. K.","Doucet, F.","Gupta, R. K."],"year":2004,"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/guernic?items=1000","bibdata":{"bibtype":"article","type":"article","added-at":"2015-05-18T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Talpin"],"firstnames":["Jean-Pierre"],"suffixes":[]},{"propositions":[],"lastnames":["Guernic"],"firstnames":["Paul","Le"],"suffixes":[]},{"propositions":[],"lastnames":["Shukla"],"firstnames":["Sandeep","K."],"suffixes":[]},{"propositions":[],"lastnames":["Doucet"],"firstnames":["Frederic"],"suffixes":[]},{"propositions":[],"lastnames":["Gupta"],"firstnames":["Rajesh","K."],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/2795e2b46546302e1d26b19766a661c4f/dblp","ee":"http://content.iospress.com/articles/fundamenta-informaticae/fi62-2-06","interhash":"712676821589a0300a0cec64f5b9024b","intrahash":"795e2b46546302e1d26b19766a661c4f","journal":"Fundam. Inform.","keywords":"dblp","number":"2","pages":"243-273","timestamp":"2015-06-18T07:36:31.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","bibtex":"@article{journals/fuin/TalpinGSDG04,\n added-at = {2015-05-18T00:00:00.000+0200},\n author = {Talpin, Jean-Pierre and Guernic, Paul Le and Shukla, Sandeep K. and Doucet, Frederic and Gupta, Rajesh K.},\n biburl = {http://www.bibsonomy.org/bibtex/2795e2b46546302e1d26b19766a661c4f/dblp},\n ee = {http://content.iospress.com/articles/fundamenta-informaticae/fi62-2-06},\n interhash = {712676821589a0300a0cec64f5b9024b},\n intrahash = {795e2b46546302e1d26b19766a661c4f},\n journal = {Fundam. Inform.},\n keywords = {dblp},\n number = 2,\n pages = {243-273},\n timestamp = {2015-06-18T07:36:31.000+0200},\n title = {Formal Refinement Checking in a System-level Design Methodology.},\n url = {http://dblp.uni-trier.de/db/journals/fuin/fuin62.html#TalpinGSDG04},\n volume = 62,\n year = 2004\n}\n\n","author_short":["Talpin, J.","Guernic, P. L.","Shukla, S. K.","Doucet, F.","Gupta, R. K."],"key":"journals/fuin/TalpinGSDG04","id":"journals/fuin/TalpinGSDG04","bibbaseid":"talpin-guernic-shukla-doucet-gupta-formalrefinementcheckinginasystemleveldesignmethodology-2004","role":"author","urls":{"Link":"http://content.iospress.com/articles/fundamenta-informaticae/fi62-2-06","Paper":"http://dblp.uni-trier.de/db/journals/fuin/fuin62.html#TalpinGSDG04"},"keyword":["dblp"],"downloads":0},"search_terms":["formal","refinement","checking","system","level","design","methodology","talpin","guernic","shukla","doucet","gupta"],"keywords":["dblp"],"authorIDs":[],"dataSources":["Q4AxEyCiwhuEHt7Ey"]}