@inproceedings{DBLP:conf/agere/KhamespanahKS14,
  author    = {Ehsan Khamespanah and
               Ramtin Khosravi and
               Marjan Sirjani},
  editor    = {Elisa Gonzalez Boix and
               Philipp Haller and
               Alessandro Ricci and
               Carlos A. Varela},
  title     = {Efficient {TCTL} Model Checking Algorithm for Timed Actors},
  booktitle = {Proceedings of the 4th International Workshop on Programming based
               on Actors Agents {\&} Decentralized Control, AGERE! 2014, Portland,
               OR, USA, October 20, 2014},
  pages     = {55--66},
  publisher = {{ACM}},
  year      = {2014},
  url       = {https://doi.org/10.1145/2687357.2687366},
  doi       = {10.1145/2687357.2687366},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/agere/KhamespanahKS14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"fkM9hejj4AMFfJQh3","bibbaseid":"khamespanah-khosravi-sirjani-efficienttctlmodelcheckingalgorithmfortimedactors-2014","downloads":0,"creationDate":"2019-04-18T17:57:32.667Z","title":"Efficient TCTL Model Checking Algorithm for Timed Actors","author_short":["Khamespanah, E.","Khosravi, R.","Sirjani, M."],"year":2014,"bibtype":"inproceedings","biburl":"https://dblp.uni-trier.de/pers/tb1/k/Khamespanah:Ehsan.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Ehsan"],"propositions":[],"lastnames":["Khamespanah"],"suffixes":[]},{"firstnames":["Ramtin"],"propositions":[],"lastnames":["Khosravi"],"suffixes":[]},{"firstnames":["Marjan"],"propositions":[],"lastnames":["Sirjani"],"suffixes":[]}],"editor":[{"firstnames":["Elisa","Gonzalez"],"propositions":[],"lastnames":["Boix"],"suffixes":[]},{"firstnames":["Philipp"],"propositions":[],"lastnames":["Haller"],"suffixes":[]},{"firstnames":["Alessandro"],"propositions":[],"lastnames":["Ricci"],"suffixes":[]},{"firstnames":["Carlos","A."],"propositions":[],"lastnames":["Varela"],"suffixes":[]}],"title":"Efficient TCTL Model Checking Algorithm for Timed Actors","booktitle":"Proceedings of the 4th International Workshop on Programming based on Actors Agents & Decentralized Control, AGERE! 2014, Portland, OR, USA, October 20, 2014","pages":"55–66","publisher":"ACM","year":"2014","url":"https://doi.org/10.1145/2687357.2687366","doi":"10.1145/2687357.2687366","timestamp":"Tue, 06 Nov 2018 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/agere/KhamespanahKS14.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/agere/KhamespanahKS14,\n author = {Ehsan Khamespanah and\n Ramtin Khosravi and\n Marjan Sirjani},\n editor = {Elisa Gonzalez Boix and\n Philipp Haller and\n Alessandro Ricci and\n Carlos A. Varela},\n title = {Efficient {TCTL} Model Checking Algorithm for Timed Actors},\n booktitle = {Proceedings of the 4th International Workshop on Programming based\n on Actors Agents {\\&} Decentralized Control, AGERE! 2014, Portland,\n OR, USA, October 20, 2014},\n pages = {55--66},\n publisher = {{ACM}},\n year = {2014},\n url = {https://doi.org/10.1145/2687357.2687366},\n doi = {10.1145/2687357.2687366},\n timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/agere/KhamespanahKS14.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Khamespanah, E.","Khosravi, R.","Sirjani, M."],"editor_short":["Boix, E. G.","Haller, P.","Ricci, A.","Varela, C. A."],"key":"DBLP:conf/agere/KhamespanahKS14","id":"DBLP:conf/agere/KhamespanahKS14","bibbaseid":"khamespanah-khosravi-sirjani-efficienttctlmodelcheckingalgorithmfortimedactors-2014","role":"author","urls":{"Paper":"https://doi.org/10.1145/2687357.2687366"},"metadata":{"authorlinks":{"khamespanah, e":"http://www.ehsankhamespanah.ir/"}}},"search_terms":["efficient","tctl","model","checking","algorithm","timed","actors","khamespanah","khosravi","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"]}