Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems). Abdulla, P. A., Delzanno, G., Henda, N. B., & Rezine, A. In Grumberg, O. & Huth, M., editors, Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedings, volume 4424, of Lecture Notes in Computer Science, pages 721–736, 2007. Springer. Paper doi bibtex @inproceedings{DBLP:conf/tacas/AbdullaDHR07,
author = {Parosh Aziz Abdulla and
Giorgio Delzanno and
Noomene Ben Henda and
Ahmed Rezine},
editor = {Orna Grumberg and
Michael Huth},
title = {Regular Model Checking Without Transducers (On Efficient Verification
of Parameterized Systems)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
13th International Conference, {TACAS} 2007, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2007
Braga, Portugal, March 24 - April 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4424},
pages = {721--736},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71209-1\_56},
doi = {10.1007/978-3-540-71209-1\_56},
timestamp = {Mon, 11 Sep 2023 15:43:49 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AbdullaDHR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"eYrEi97d2FmzWcwst","bibbaseid":"abdulla-delzanno-henda-rezine-regularmodelcheckingwithouttransducersonefficientverificationofparameterizedsystems-2007","author_short":["Abdulla, P. A.","Delzanno, G.","Henda, N. B.","Rezine, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Parosh","Aziz"],"propositions":[],"lastnames":["Abdulla"],"suffixes":[]},{"firstnames":["Giorgio"],"propositions":[],"lastnames":["Delzanno"],"suffixes":[]},{"firstnames":["Noomene","Ben"],"propositions":[],"lastnames":["Henda"],"suffixes":[]},{"firstnames":["Ahmed"],"propositions":[],"lastnames":["Rezine"],"suffixes":[]}],"editor":[{"firstnames":["Orna"],"propositions":[],"lastnames":["Grumberg"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Huth"],"suffixes":[]}],"title":"Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems)","booktitle":"Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedings","series":"Lecture Notes in Computer Science","volume":"4424","pages":"721–736","publisher":"Springer","year":"2007","url":"https://doi.org/10.1007/978-3-540-71209-1\\_56","doi":"10.1007/978-3-540-71209-1_56","timestamp":"Mon, 11 Sep 2023 15:43:49 +0200","biburl":"https://dblp.org/rec/conf/tacas/AbdullaDHR07.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/tacas/AbdullaDHR07,\n author = {Parosh Aziz Abdulla and\n Giorgio Delzanno and\n Noomene Ben Henda and\n Ahmed Rezine},\n editor = {Orna Grumberg and\n Michael Huth},\n title = {Regular Model Checking Without Transducers (On Efficient Verification\n of Parameterized Systems)},\n booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,\n 13th International Conference, {TACAS} 2007, Held as Part of the Joint\n European Conferences on Theory and Practice of Software, {ETAPS} 2007\n Braga, Portugal, March 24 - April 1, 2007, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {4424},\n pages = {721--736},\n publisher = {Springer},\n year = {2007},\n url = {https://doi.org/10.1007/978-3-540-71209-1\\_56},\n doi = {10.1007/978-3-540-71209-1\\_56},\n timestamp = {Mon, 11 Sep 2023 15:43:49 +0200},\n biburl = {https://dblp.org/rec/conf/tacas/AbdullaDHR07.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Abdulla, P. A.","Delzanno, G.","Henda, N. B.","Rezine, A."],"editor_short":["Grumberg, O.","Huth, M."],"key":"DBLP:conf/tacas/AbdullaDHR07","id":"DBLP:conf/tacas/AbdullaDHR07","bibbaseid":"abdulla-delzanno-henda-rezine-regularmodelcheckingwithouttransducersonefficientverificationofparameterizedsystems-2007","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-540-71209-1\\_56"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/d/GDelzanno.bib","dataSources":["CNS5YERBRqLdN5aYr"],"keywords":[],"search_terms":["regular","model","checking","without","transducers","efficient","verification","parameterized","systems","abdulla","delzanno","henda","rezine"],"title":"Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems)","year":2007}