@inproceedings{ ferro_generation_2008,
  title = {Generation of test programs for the assertion-based verification of {TLM} models},
  url = {http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=4802505&isnumber=4802443},
  doi = {http://dx.doi.org/10.1109/IDT.2008.4802505},
  urldate = {2015-04-21TZ},
  booktitle = {Design and {Test} {Workshop}, 2008. {IDT} 2008. 3rd {International}},
  publisher = {IEEE},
  author = {Ferro, Luca and Pierre, Laurence and Ledru, Yves and du Bousquet, Lydie},
  month = {December},
  year = {2008},
  pages = {237--242}
}

{"_id":"8DxiYdd9pnmd7YeKx","authorIDs":[],"author_short":["Ferro, L.","Pierre, L.","Ledru, Y.","du<nbsp>Bousquet, L."],"bibbaseid":"ferro-pierre-ledru-dunbspbousquet-generationoftestprogramsfortheassertionbasedverificationoftlmmodels-2008","bibdata":{"author":["Ferro, Luca","Pierre, Laurence","Ledru, Yves","du Bousquet, Lydie"],"author_short":["Ferro, L.","Pierre, L.","Ledru, Y.","du<nbsp>Bousquet, L."],"bibtex":"@inproceedings{ ferro_generation_2008,\n title = {Generation of test programs for the assertion-based verification of {TLM} models},\n url = {http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=4802505&isnumber=4802443},\n doi = {http://dx.doi.org/10.1109/IDT.2008.4802505},\n urldate = {2015-04-21TZ},\n booktitle = {Design and {Test} {Workshop}, 2008. {IDT} 2008. 3rd {International}},\n publisher = {IEEE},\n author = {Ferro, Luca and Pierre, Laurence and Ledru, Yves and du Bousquet, Lydie},\n month = {December},\n year = {2008},\n pages = {237--242}\n}","bibtype":"inproceedings","booktitle":"Design and Test Workshop, 2008. IDT 2008. 3rd International","doi":"http://dx.doi.org/10.1109/IDT.2008.4802505","id":"ferro_generation_2008","key":"ferro_generation_2008","month":"December","pages":"237--242","publisher":"IEEE","title":"Generation of test programs for the assertion-based verification of TLM models","type":"inproceedings","url":"http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=4802505&isnumber=4802443","urldate":"2015-04-21TZ","year":"2008","bibbaseid":"ferro-pierre-ledru-dunbspbousquet-generationoftestprogramsfortheassertionbasedverificationoftlmmodels-2008","role":"author","urls":{"Paper":"http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=4802505&isnumber=4802443"},"downloads":0},"bibtype":"inproceedings","biburl":"http://bibbase.org/zotero/ealprr","creationDate":"2015-04-22T00:14:20.745Z","downloads":0,"keywords":[],"search_terms":["generation","test","programs","assertion","based","verification","tlm","models","ferro","pierre","ledru","du<nbsp>bousquet"],"title":"Generation of test programs for the assertion-based verification of TLM models","year":2008,"dataSources":["fcy64Zdm28gydMmuE"]}