Symmetry and partial order reduction techniques in model checking Rebeca. Jaghoori, M. M., Sirjani, M., Mousavi, M. R., Khamespanah, E., & Movaghar, A. Acta Informatica, 47(1):33–66, 2010.
Paper doi bibtex @article{DBLP:journals/acta/JaghooriSMKM10,
author = {Mohammad Mahdi Jaghoori and
Marjan Sirjani and
Mohammad Reza Mousavi and
Ehsan Khamespanah and
Ali Movaghar},
title = {Symmetry and partial order reduction techniques in model checking
Rebeca},
journal = {Acta Informatica},
volume = {47},
number = {1},
pages = {33--66},
year = {2010},
url = {https://doi.org/10.1007/s00236-009-0111-x},
doi = {10.1007/s00236-009-0111-x},
timestamp = {Wed, 12 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/JaghooriSMKM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"tYCCp6ahN5hTbuLky","bibbaseid":"jaghoori-sirjani-mousavi-khamespanah-movaghar-symmetryandpartialorderreductiontechniquesinmodelcheckingrebeca-2010","downloads":0,"creationDate":"2019-04-18T17:57:32.672Z","title":"Symmetry and partial order reduction techniques in model checking Rebeca","author_short":["Jaghoori, M. M.","Sirjani, M.","Mousavi, M. R.","Khamespanah, E.","Movaghar, A."],"year":2010,"bibtype":"article","biburl":"https://dblp.uni-trier.de/pers/tb1/k/Khamespanah:Ehsan.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Mohammad","Mahdi"],"propositions":[],"lastnames":["Jaghoori"],"suffixes":[]},{"firstnames":["Marjan"],"propositions":[],"lastnames":["Sirjani"],"suffixes":[]},{"firstnames":["Mohammad","Reza"],"propositions":[],"lastnames":["Mousavi"],"suffixes":[]},{"firstnames":["Ehsan"],"propositions":[],"lastnames":["Khamespanah"],"suffixes":[]},{"firstnames":["Ali"],"propositions":[],"lastnames":["Movaghar"],"suffixes":[]}],"title":"Symmetry and partial order reduction techniques in model checking Rebeca","journal":"Acta Informatica","volume":"47","number":"1","pages":"33–66","year":"2010","url":"https://doi.org/10.1007/s00236-009-0111-x","doi":"10.1007/s00236-009-0111-x","timestamp":"Wed, 12 May 2021 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/acta/JaghooriSMKM10.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/acta/JaghooriSMKM10,\n author = {Mohammad Mahdi Jaghoori and\n Marjan Sirjani and\n Mohammad Reza Mousavi and\n Ehsan Khamespanah and\n Ali Movaghar},\n title = {Symmetry and partial order reduction techniques in model checking\n Rebeca},\n journal = {Acta Informatica},\n volume = {47},\n number = {1},\n pages = {33--66},\n year = {2010},\n url = {https://doi.org/10.1007/s00236-009-0111-x},\n doi = {10.1007/s00236-009-0111-x},\n timestamp = {Wed, 12 May 2021 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/acta/JaghooriSMKM10.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Jaghoori, M. M.","Sirjani, M.","Mousavi, M. R.","Khamespanah, E.","Movaghar, A."],"key":"DBLP:journals/acta/JaghooriSMKM10","id":"DBLP:journals/acta/JaghooriSMKM10","bibbaseid":"jaghoori-sirjani-mousavi-khamespanah-movaghar-symmetryandpartialorderreductiontechniquesinmodelcheckingrebeca-2010","role":"author","urls":{"Paper":"https://doi.org/10.1007/s00236-009-0111-x"},"metadata":{"authorlinks":{"khamespanah, e":"http://www.ehsankhamespanah.ir/"}}},"search_terms":["symmetry","partial","order","reduction","techniques","model","checking","rebeca","jaghoori","sirjani","mousavi","khamespanah","movaghar"],"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"]}