%0 Journal Article %1 journals/fac/SlaninaSM08 %A Slanina, Matteo %A Sipma, Henny B. %A Manna, Zohar %D 2008 %J Formal Aspects Comput. %K dblp %N 4-5 %P 507-560 %T Deductive verification of alternating systems. %U http://dblp.uni-trier.de/db/journals/fac/fac20.html#SlaninaSM08 %V 20

@article{journals/fac/SlaninaSM08, added-at = {2022-05-09T00:00:00.000+0200}, author = {Slanina, Matteo and Sipma, Henny B. and Manna, Zohar}, biburl = {https://www.bibsonomy.org/bibtex/29f4f3fd94f526b213e2636338c454aec/dblp}, ee = {https://doi.org/10.1007/s00165-008-0075-6}, interhash = {99939711fa4d89ab2036bb759079fb4a}, intrahash = {9f4f3fd94f526b213e2636338c454aec}, journal = {Formal Aspects Comput.}, keywords = {dblp}, number = {4-5}, pages = {507-560}, timestamp = {2024-04-09T05:37:12.000+0200}, title = {Deductive verification of alternating systems.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac20.html#SlaninaSM08}, volume = 20, year = 2008 }