@inproceedings{conf/date/JoostenS14,
  added-at = {2015-11-10T00:00:00.000+0100},
  author = {Joosten, Sebastiaan J. C. and Schmaltz, Julien},
  biburl = {https://www.bibsonomy.org/bibtex/262be2070cd75546ae701cd3beb764787/dblp},
  booktitle = {DATE},
  crossref = {conf/date/2014},
  editor = {Fettweis, Gerhard and Nebel, Wolfgang},
  ee = {http://dl.acm.org/citation.cfm?id=2616745},
  interhash = {f3e08a108bb97b7ef8e89bd820718e69},
  intrahash = {62be2070cd75546ae701cd3beb764787},
  isbn = {978-3-9815370-2-4},
  keywords = {dblp},
  pages = {1-6},
  publisher = {European Design and Automation Association},
  timestamp = {2015-11-11T11:48:43.000+0100},
  title = {Scalable liveness verification for communication fabrics.},
  url = {http://dblp.uni-trier.de/db/conf/date/date2014.html#JoostenS14},
  year = 2014
}

{"_id":"N98eWAR3Y2xbpbjb8","bibbaseid":"joosten-schmaltz-scalablelivenessverificationforcommunicationfabrics-2014","authorIDs":[],"author_short":["Joosten, S. J. C.","Schmaltz, J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2015-11-10T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Joosten"],"firstnames":["Sebastiaan","J.","C."],"suffixes":[]},{"propositions":[],"lastnames":["Schmaltz"],"firstnames":["Julien"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/262be2070cd75546ae701cd3beb764787/dblp","booktitle":"DATE","crossref":"conf/date/2014","editor":[{"propositions":[],"lastnames":["Fettweis"],"firstnames":["Gerhard"],"suffixes":[]},{"propositions":[],"lastnames":["Nebel"],"firstnames":["Wolfgang"],"suffixes":[]}],"ee":"http://dl.acm.org/citation.cfm?id=2616745","interhash":"f3e08a108bb97b7ef8e89bd820718e69","intrahash":"62be2070cd75546ae701cd3beb764787","isbn":"978-3-9815370-2-4","keywords":"dblp","pages":"1-6","publisher":"European Design and Automation Association","timestamp":"2015-11-11T11:48:43.000+0100","title":"Scalable liveness verification for communication fabrics.","url":"http://dblp.uni-trier.de/db/conf/date/date2014.html#JoostenS14","year":"2014","bibtex":"@inproceedings{conf/date/JoostenS14,\n added-at = {2015-11-10T00:00:00.000+0100},\n author = {Joosten, Sebastiaan J. C. and Schmaltz, Julien},\n biburl = {https://www.bibsonomy.org/bibtex/262be2070cd75546ae701cd3beb764787/dblp},\n booktitle = {DATE},\n crossref = {conf/date/2014},\n editor = {Fettweis, Gerhard and Nebel, Wolfgang},\n ee = {http://dl.acm.org/citation.cfm?id=2616745},\n interhash = {f3e08a108bb97b7ef8e89bd820718e69},\n intrahash = {62be2070cd75546ae701cd3beb764787},\n isbn = {978-3-9815370-2-4},\n keywords = {dblp},\n pages = {1-6},\n publisher = {European Design and Automation Association},\n timestamp = {2015-11-11T11:48:43.000+0100},\n title = {Scalable liveness verification for communication fabrics.},\n url = {http://dblp.uni-trier.de/db/conf/date/date2014.html#JoostenS14},\n year = 2014\n}\n\n","author_short":["Joosten, S. J. C.","Schmaltz, J."],"editor_short":["Fettweis, G.","Nebel, W."],"key":"conf/date/JoostenS14","id":"conf/date/JoostenS14","bibbaseid":"joosten-schmaltz-scalablelivenessverificationforcommunicationfabrics-2014","role":"author","urls":{"Link":"http://dl.acm.org/citation.cfm?id=2616745","Paper":"http://dblp.uni-trier.de/db/conf/date/date2014.html#JoostenS14"},"keyword":["dblp"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Sebastiaan Joosten?items=1000","creationDate":"2019-07-02T11:53:02.271Z","downloads":0,"keywords":["dblp"],"search_terms":["scalable","liveness","verification","communication","fabrics","joosten","schmaltz"],"title":"Scalable liveness verification for communication fabrics.","year":2014,"dataSources":["iRXfhnWYb7pRvaQMx"]}