%0 Conference Paper %1 conf/netys/AtigBKS17 %A Atig, Mohamed Faouzi %A Bouajjani, Ahmed %A Kumar, K. Narayan %A Saivasan, Prakash %B NETYS %D 2017 %E Abbadi, Amr El %E Garbinato, Benoît %K dblp %P 272-287 %T Parity Games on Bounded Phase Multi-pushdown Systems. %U http://dblp.uni-trier.de/db/conf/netys/netys2017.html#AtigBKS17 %V 10299 %@ 978-3-319-59647-1

@inproceedings{conf/netys/AtigBKS17, added-at = {2017-05-15T00:00:00.000+0200}, author = {Atig, Mohamed Faouzi and Bouajjani, Ahmed and Kumar, K. Narayan and Saivasan, Prakash}, biburl = {https://www.bibsonomy.org/bibtex/265546aa6b7d9632a7c7ab3ab06a9d892/dblp}, booktitle = {NETYS}, crossref = {conf/netys/2017}, editor = {Abbadi, Amr El and Garbinato, Benoît}, ee = {https://doi.org/10.1007/978-3-319-59647-1_21}, interhash = {266ff903d1c1f94b0df3956f1bbb437a}, intrahash = {65546aa6b7d9632a7c7ab3ab06a9d892}, isbn = {978-3-319-59647-1}, keywords = {dblp}, pages = {272-287}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:45:31.000+0200}, title = {Parity Games on Bounded Phase Multi-pushdown Systems.}, url = {http://dblp.uni-trier.de/db/conf/netys/netys2017.html#AtigBKS17}, volume = 10299, year = 2017 }