%0 Conference Paper %1 conf/tacas/AbdullaDHR07 %A Abdulla, Parosh Aziz %A Delzanno, Giorgio %A Henda, Noomene Ben %A Rezine, Ahmed %B TACAS %D 2007 %E Grumberg, Orna %E Huth, Michael %I Springer %K %P 721-736 %T Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems). %U http://dblp.uni-trier.de/db/conf/tacas/tacas2007.html#AbdullaDHR07 %V 4424 %@ 978-3-540-71208-4

@inproceedings{conf/tacas/AbdullaDHR07, added-at = {2023-12-13T03:00:04.000+0100}, author = {Abdulla, Parosh Aziz and Delzanno, Giorgio and Henda, Noomene Ben and Rezine, Ahmed}, biburl = {https://www.bibsonomy.org/bibtex/2eb3ca205c65d36d79712cbbf3c1d29b7/admin}, booktitle = {TACAS}, crossref = {conf/tacas/2007}, editor = {Grumberg, Orna and Huth, Michael}, ee = {https://doi.org/10.1007/978-3-540-71209-1_56}, interhash = {864ae03139680b9a9d064904fda786bf}, intrahash = {eb3ca205c65d36d79712cbbf3c1d29b7}, isbn = {978-3-540-71208-4}, keywords = {}, pages = {721-736}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T03:00:04.000+0100}, title = {Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems).}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2007.html#AbdullaDHR07}, volume = 4424, year = 2007 }