%0 Conference Paper %1 conf/netys/AbdullaAKR15 %A Abdulla, Parosh Aziz %A Atig, Mohamed Faouzi %A Kara, Ahmet %A Rezine, Othmane %B NETYS %D 2015 %E Bouajjani, Ahmed %E Fauconnier, Hugues %I Springer %K dblp %P 15-31 %T Verification of Buffered Dynamic Register Automata. %U http://dblp.uni-trier.de/db/conf/netys/netys2015.html#AbdullaAKR15 %V 9466 %@ 978-3-319-26849-1

@inproceedings{conf/netys/AbdullaAKR15, added-at = {2017-05-23T00:00:00.000+0200}, author = {Abdulla, Parosh Aziz and Atig, Mohamed Faouzi and Kara, Ahmet and Rezine, Othmane}, biburl = {https://www.bibsonomy.org/bibtex/2c0ad77f0a864edc407cdac7ec68434d3/dblp}, booktitle = {NETYS}, crossref = {conf/netys/2015}, editor = {Bouajjani, Ahmed and Fauconnier, Hugues}, ee = {https://doi.org/10.1007/978-3-319-26850-7_2}, interhash = {e759416636da4b454de30a571e6aaef7}, intrahash = {c0ad77f0a864edc407cdac7ec68434d3}, isbn = {978-3-319-26849-1}, keywords = {dblp}, pages = {15-31}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:45:41.000+0200}, title = {Verification of Buffered Dynamic Register Automata.}, url = {http://dblp.uni-trier.de/db/conf/netys/netys2015.html#AbdullaAKR15}, volume = 9466, year = 2015 }