@inproceedings{DBLP:conf/hldvt/GuglielmoFPSR10,
  author    = {Giuseppe Di Guglielmo and
               Franco Fummi and
               Graziano Pravadelli and
               Stefano Soffia and
               Marco Roveri},
  title     = {Semi-formal functional verification by {EFSM} traversing via NuSMV},
  booktitle = {{IEEE} International High Level Design Validation and Test Workshop,
               {HLDVT} 2010, Anaheim, CA, USA, 10-12 June 2010},
  pages     = {58--65},
  publisher = {{IEEE} Computer Society},
  year      = {2010},
  url       = {https://doi.org/10.1109/HLDVT.2010.5496660},
  doi       = {10.1109/HLDVT.2010.5496660},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/conf/hldvt/GuglielmoFPSR10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"hm5yWWK6B2d89JjMx","bibbaseid":"guglielmo-fummi-pravadelli-soffia-roveri-semiformalfunctionalverificationbyefsmtraversingvianusmv-2010","author_short":["Guglielmo, G. D.","Fummi, F.","Pravadelli, G.","Soffia, S.","Roveri, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Giuseppe","Di"],"propositions":[],"lastnames":["Guglielmo"],"suffixes":[]},{"firstnames":["Franco"],"propositions":[],"lastnames":["Fummi"],"suffixes":[]},{"firstnames":["Graziano"],"propositions":[],"lastnames":["Pravadelli"],"suffixes":[]},{"firstnames":["Stefano"],"propositions":[],"lastnames":["Soffia"],"suffixes":[]},{"firstnames":["Marco"],"propositions":[],"lastnames":["Roveri"],"suffixes":[]}],"title":"Semi-formal functional verification by EFSM traversing via NuSMV","booktitle":"IEEE International High Level Design Validation and Test Workshop, HLDVT 2010, Anaheim, CA, USA, 10-12 June 2010","pages":"58–65","publisher":"IEEE Computer Society","year":"2010","url":"https://doi.org/10.1109/HLDVT.2010.5496660","doi":"10.1109/HLDVT.2010.5496660","timestamp":"Wed, 16 Oct 2019 14:14:57 +0200","biburl":"https://dblp.org/rec/conf/hldvt/GuglielmoFPSR10.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/hldvt/GuglielmoFPSR10,\n author = {Giuseppe Di Guglielmo and\n Franco Fummi and\n Graziano Pravadelli and\n Stefano Soffia and\n Marco Roveri},\n title = {Semi-formal functional verification by {EFSM} traversing via NuSMV},\n booktitle = {{IEEE} International High Level Design Validation and Test Workshop,\n {HLDVT} 2010, Anaheim, CA, USA, 10-12 June 2010},\n pages = {58--65},\n publisher = {{IEEE} Computer Society},\n year = {2010},\n url = {https://doi.org/10.1109/HLDVT.2010.5496660},\n doi = {10.1109/HLDVT.2010.5496660},\n timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},\n biburl = {https://dblp.org/rec/conf/hldvt/GuglielmoFPSR10.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Guglielmo, G. D.","Fummi, F.","Pravadelli, G.","Soffia, S.","Roveri, M."],"key":"DBLP:conf/hldvt/GuglielmoFPSR10","id":"DBLP:conf/hldvt/GuglielmoFPSR10","bibbaseid":"guglielmo-fummi-pravadelli-soffia-roveri-semiformalfunctionalverificationbyefsmtraversingvianusmv-2010","role":"author","urls":{"Paper":"https://doi.org/10.1109/HLDVT.2010.5496660"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/83/563.bib","dataSources":["SzPGZamk2BCyHJTQr"],"keywords":[],"search_terms":["semi","formal","functional","verification","efsm","traversing","via","nusmv","guglielmo","fummi","pravadelli","soffia","roveri"],"title":"Semi-formal functional verification by EFSM traversing via NuSMV","year":2010}