@proceedings{DBLP:conf/memocode/2003,
  title     = {1st {ACM} {\&} {IEEE} International Conference on Formal Methods and
               Models for Co-Design {(MEMOCODE} 2003), 24-26 June 2003, Mont Saint-Michel,
               France, Proceedings},
  publisher = {{IEEE} Computer Society},
  year      = {2003},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8593},
  isbn      = {0-7695-1923-7},
  timestamp = {Mon, 15 Jun 2015 17:05:21 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/memocode/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"yyM9LoP9fNbceC3b5","bibbaseid":"anonymous-1stacmieeeinternationalconferenceonformalmethodsandmodelsforcodesignmemocode20032426june2003montsaintmichelfranceproceedings-2003","downloads":0,"creationDate":"2018-07-08T21:22:38.897Z","title":"1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), 24-26 June 2003, Mont Saint-Michel, France, Proceedings","author_short":null,"year":2003,"bibtype":"proceedings","biburl":"https://dblp.org/pid/m/KennethLMcMillan.bib","bibdata":{"bibtype":"proceedings","type":"proceedings","title":"1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), 24-26 June 2003, Mont Saint-Michel, France, Proceedings","publisher":"IEEE Computer Society","year":"2003","url":"http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8593","isbn":"0-7695-1923-7","timestamp":"Mon, 15 Jun 2015 17:05:21 +0200","biburl":"https://dblp.org/rec/bib/conf/memocode/2003","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@proceedings{DBLP:conf/memocode/2003,\n title = {1st {ACM} {\\&} {IEEE} International Conference on Formal Methods and\n Models for Co-Design {(MEMOCODE} 2003), 24-26 June 2003, Mont Saint-Michel,\n France, Proceedings},\n publisher = {{IEEE} Computer Society},\n year = {2003},\n url = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8593},\n isbn = {0-7695-1923-7},\n timestamp = {Mon, 15 Jun 2015 17:05:21 +0200},\n biburl = {https://dblp.org/rec/bib/conf/memocode/2003},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","key":"DBLP:conf/memocode/2003","id":"DBLP:conf/memocode/2003","bibbaseid":"anonymous-1stacmieeeinternationalconferenceonformalmethodsandmodelsforcodesignmemocode20032426june2003montsaintmichelfranceproceedings-2003","urls":{"Paper":"http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8593"},"downloads":0,"html":""},"search_terms":["1st","acm","ieee","international","conference","formal","methods","models","design","memocode","2003","june","2003","mont","saint","michel","france","proceedings"],"keywords":[],"authorIDs":[],"dataSources":["mNLXpycJZCXeu2mHY"]}