@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}
}

{"_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}