%0 Report %1 droste/kuske:1996 %A Droste, M. %A Kuske, D. %D 1996 %K 1996 droste kuske preprint %N MATH-AL-3-1996 %T Temporal Logics for Computations of Concurrent Automata

@techreport{droste/kuske:1996, added-at = {2010-02-23T15:02:24.000+0100}, author = {Droste, M. and Kuske, D.}, biburl = {https://www.bibsonomy.org/bibtex/231e2a64935401b120c5a09a61ed43e6b/algebradresden}, institution = {TU Dresden}, interhash = {f4e02b762c03589dc192689d643a14d3}, intrahash = {31e2a64935401b120c5a09a61ed43e6b}, keywords = {1996 droste kuske preprint}, number = {MATH-AL-3-1996}, timestamp = {2010-02-23T15:02:24.000+0100}, title = {Temporal Logics for Computations of Concurrent Automata}, type = {preprint}, year = 1996 }