@article{journals/ijpp/TalpinGSG05,
  added-at = {2006-01-12T00:00:00.000+0100},
  author = {Talpin, Jean-Pierre and Guernic, Paul Le and Shukla, Sandeep K. and Gupta, Rajesh},
  biburl = {http://www.bibsonomy.org/bibtex/2ee7dd2c824beeb81d15cd2753ef26026/dblp},
  date = {2006-01-12},
  description = {dblp},
  ee = {http://dx.doi.org/10.1007/s10766-005-8907-y},
  interhash = {7cfbed92a12583ead87ac0a81ecd69eb},
  intrahash = {ee7dd2c824beeb81d15cd2753ef26026},
  journal = {International Journal of Parallel Programming},
  keywords = {dblp},
  number = 6,
  pages = {613-643},
  timestamp = {2006-01-12T00:00:00.000+0100},
  title = {A Compositional Behavioral Modeling Framework for Embedded System Design and Conformance Checking.},
  url = {http://dblp.uni-trier.de/db/journals/ijpp/ijpp33.html#TalpinGSG05},
  volume = 33,
  year = 2005
}

{"_id":"RWhq6LHHir7gCqYhS","bibbaseid":"talpin-guernic-shukla-gupta-acompositionalbehavioralmodelingframeworkforembeddedsystemdesignandconformancechecking-2005","downloads":0,"creationDate":"2016-09-14T11:41:43.137Z","title":"A Compositional Behavioral Modeling Framework for Embedded System Design and Conformance Checking.","author_short":["Talpin, J.","Guernic, P. L.","Shukla, S. K.","Gupta, R."],"year":2005,"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/guernic?items=1000","bibdata":{"bibtype":"article","type":"article","added-at":"2006-01-12T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Talpin"],"firstnames":["Jean-Pierre"],"suffixes":[]},{"propositions":[],"lastnames":["Guernic"],"firstnames":["Paul","Le"],"suffixes":[]},{"propositions":[],"lastnames":["Shukla"],"firstnames":["Sandeep","K."],"suffixes":[]},{"propositions":[],"lastnames":["Gupta"],"firstnames":["Rajesh"],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/2ee7dd2c824beeb81d15cd2753ef26026/dblp","date":"2006-01-12","description":"dblp","ee":"http://dx.doi.org/10.1007/s10766-005-8907-y","interhash":"7cfbed92a12583ead87ac0a81ecd69eb","intrahash":"ee7dd2c824beeb81d15cd2753ef26026","journal":"International Journal of Parallel Programming","keywords":"dblp","number":"6","pages":"613-643","timestamp":"2006-01-12T00:00:00.000+0100","title":"A Compositional Behavioral Modeling Framework for Embedded System Design and Conformance Checking.","url":"http://dblp.uni-trier.de/db/journals/ijpp/ijpp33.html#TalpinGSG05","volume":"33","year":"2005","bibtex":"@article{journals/ijpp/TalpinGSG05,\n added-at = {2006-01-12T00:00:00.000+0100},\n author = {Talpin, Jean-Pierre and Guernic, Paul Le and Shukla, Sandeep K. and Gupta, Rajesh},\n biburl = {http://www.bibsonomy.org/bibtex/2ee7dd2c824beeb81d15cd2753ef26026/dblp},\n date = {2006-01-12},\n description = {dblp},\n ee = {http://dx.doi.org/10.1007/s10766-005-8907-y},\n interhash = {7cfbed92a12583ead87ac0a81ecd69eb},\n intrahash = {ee7dd2c824beeb81d15cd2753ef26026},\n journal = {International Journal of Parallel Programming},\n keywords = {dblp},\n number = 6,\n pages = {613-643},\n timestamp = {2006-01-12T00:00:00.000+0100},\n title = {A Compositional Behavioral Modeling Framework for Embedded System Design and Conformance Checking.},\n url = {http://dblp.uni-trier.de/db/journals/ijpp/ijpp33.html#TalpinGSG05},\n volume = 33,\n year = 2005\n}\n\n","author_short":["Talpin, J.","Guernic, P. L.","Shukla, S. K.","Gupta, R."],"key":"journals/ijpp/TalpinGSG05","id":"journals/ijpp/TalpinGSG05","bibbaseid":"talpin-guernic-shukla-gupta-acompositionalbehavioralmodelingframeworkforembeddedsystemdesignandconformancechecking-2005","role":"author","urls":{"Link":"http://dx.doi.org/10.1007/s10766-005-8907-y","Paper":"http://dblp.uni-trier.de/db/journals/ijpp/ijpp33.html#TalpinGSG05"},"keyword":["dblp"],"downloads":0},"search_terms":["compositional","behavioral","modeling","framework","embedded","system","design","conformance","checking","talpin","guernic","shukla","gupta"],"keywords":["dblp"],"authorIDs":[],"dataSources":["Q4AxEyCiwhuEHt7Ey"]}