%0 Conference Paper %1 conf/fsttcs/AbdullaAMS15 %A Abdulla, Parosh Aziz %A Atig, Mohamed Faouzi %A Meyer, Roland %A Salehi, Mehdi Seyed %B FSTTCS %D 2015 %E Harsha, Prahladh %E Ramalingam, G. %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 192-205 %T What's Decidable about Availability Languages?. %U http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs2015.html#AbdullaAMS15 %V 45 %@ 978-3-939897-97-2

@inproceedings{conf/fsttcs/AbdullaAMS15, added-at = {2019-09-02T00:00:00.000+0200}, author = {Abdulla, Parosh Aziz and Atig, Mohamed Faouzi and Meyer, Roland and Salehi, Mehdi Seyed}, biburl = {https://www.bibsonomy.org/bibtex/2ff2857eb4be21c0ea74a3a32d4c4a0bc/dblp}, booktitle = {FSTTCS}, crossref = {conf/fsttcs/2015}, editor = {Harsha, Prahladh and Ramalingam, G.}, ee = {https://doi.org/10.4230/LIPIcs.FSTTCS.2015.192}, interhash = {120af7d4f45db88a4912330b72241b42}, intrahash = {ff2857eb4be21c0ea74a3a32d4c4a0bc}, isbn = {978-3-939897-97-2}, keywords = {dblp}, pages = {192-205}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2020-02-12T11:52:05.000+0100}, title = {What's Decidable about Availability Languages?.}, url = {http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs2015.html#AbdullaAMS15}, volume = 45, year = 2015 }