@article{DBLP:journals/tecs/RazaviBSKSS10,
  author    = {Niloofar Razavi and
               Razieh Behjati and
               Hamideh Sabouri and
               Ehsan Khamespanah and
               Amin Shali and
               Marjan Sirjani},
  title     = {Sysfier: Actor-based formal verification of SystemC},
  journal   = {{ACM} Trans. Embed. Comput. Syst.},
  volume    = {10},
  number    = {2},
  pages     = {19:1--19:35},
  year      = {2010},
  url       = {https://doi.org/10.1145/1880050.1880055},
  doi       = {10.1145/1880050.1880055},
  timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tecs/RazaviBSKSS10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"jA2mDhbNd9zrx3TPs","bibbaseid":"razavi-behjati-sabouri-khamespanah-shali-sirjani-sysfieractorbasedformalverificationofsystemc-2010","downloads":0,"creationDate":"2019-04-18T17:57:32.673Z","title":"Sysfier: Actor-based formal verification of SystemC","author_short":["Razavi, N.","Behjati, R.","Sabouri, H.","Khamespanah, E.","Shali, A.","Sirjani, M."],"year":2010,"bibtype":"article","biburl":"https://dblp.uni-trier.de/pers/tb1/k/Khamespanah:Ehsan.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Niloofar"],"propositions":[],"lastnames":["Razavi"],"suffixes":[]},{"firstnames":["Razieh"],"propositions":[],"lastnames":["Behjati"],"suffixes":[]},{"firstnames":["Hamideh"],"propositions":[],"lastnames":["Sabouri"],"suffixes":[]},{"firstnames":["Ehsan"],"propositions":[],"lastnames":["Khamespanah"],"suffixes":[]},{"firstnames":["Amin"],"propositions":[],"lastnames":["Shali"],"suffixes":[]},{"firstnames":["Marjan"],"propositions":[],"lastnames":["Sirjani"],"suffixes":[]}],"title":"Sysfier: Actor-based formal verification of SystemC","journal":"ACM Trans. Embed. Comput. Syst.","volume":"10","number":"2","pages":"19:1–19:35","year":"2010","url":"https://doi.org/10.1145/1880050.1880055","doi":"10.1145/1880050.1880055","timestamp":"Tue, 08 Sep 2020 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/tecs/RazaviBSKSS10.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/tecs/RazaviBSKSS10,\n author = {Niloofar Razavi and\n Razieh Behjati and\n Hamideh Sabouri and\n Ehsan Khamespanah and\n Amin Shali and\n Marjan Sirjani},\n title = {Sysfier: Actor-based formal verification of SystemC},\n journal = {{ACM} Trans. Embed. Comput. Syst.},\n volume = {10},\n number = {2},\n pages = {19:1--19:35},\n year = {2010},\n url = {https://doi.org/10.1145/1880050.1880055},\n doi = {10.1145/1880050.1880055},\n timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/tecs/RazaviBSKSS10.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Razavi, N.","Behjati, R.","Sabouri, H.","Khamespanah, E.","Shali, A.","Sirjani, M."],"key":"DBLP:journals/tecs/RazaviBSKSS10","id":"DBLP:journals/tecs/RazaviBSKSS10","bibbaseid":"razavi-behjati-sabouri-khamespanah-shali-sirjani-sysfieractorbasedformalverificationofsystemc-2010","role":"author","urls":{"Paper":"https://doi.org/10.1145/1880050.1880055"},"metadata":{"authorlinks":{"khamespanah, e":"http://www.ehsankhamespanah.ir/"}}},"search_terms":["sysfier","actor","based","formal","verification","systemc","razavi","behjati","sabouri","khamespanah","shali","sirjani"],"keywords":[],"authorIDs":["3ZEdTR9w2wTgcZTAM","3dE3dbeSAZj9cdJdT","3kJYiMyuZy9XzZTFf","3mJs9nAnuBWoF3uEJ","5cba29989c565010000001bb","5e48489c00973ede0100008a","5e4bcf56a6b53fde010000f0","5e4bea5c8f0677df010000fa","5e4c033e0dff2bde01000103","5e4c04850dff2bde01000133","5e4c36c6c1eb51df0100010d","5e4c379ec1eb51df01000118","5e4c3a67c1eb51df01000145","5e4c3c10c1eb51df01000163","5e4ebc41d9cddadf01000086","5e4ed1842962cadf0100000b","5e4f42ee8a3535f301000022","5e4faddf29097dde0100012d","5e4fc5ef2c51e8de010000d5","5e4ff4ecf5b214df010000af","5e59fdf86ef27ddf010000ba","8FJxRaTcguAaMXtfe","9ggHhj6zqie7rwG3F","BBgxLjbGHmfsHvwzh","FkMYRLmLw7La8daXq","JTjMQawZc2HzHPwy9","WEf9yCb267W8TixGn","WH6eFBAhTHxtEYgup","WziT7FjRJZGzTQQoa","ZT8xz5Q67yDuRyyzD","Zhw8KL6TPMbHXvHpH","h8iSYi3GDxMcwRyqg","hra4bE2tdm9RtJ8eD","htCXDpnZ2eLcbQXSs","jpXRgz3jcFkoAdEDo","n9SgYXbQA5xJSeGwP","voga5baxdwafbiXwM","w8afXQqSMP673Z32C"],"dataSources":["XQFBr7xfzAa2rp9Ka"]}