%0 Thesis %1 Brzoska1993 %A Brzoska, Christoph %D 1993 %K dblp imported puma test %P I-VI, 1-172 %T Temporal-logisches Programmieren.

@phdthesis{Brzoska1993, added-at = {2017-05-18T15:42:02.000+0200}, author = {Brzoska, Christoph}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/252eafb255fd13929e1728cfe70d3ede8/droessler}, groups = {public}, interhash = {98285c6832bd7d21c090c1109100d0e4}, intrahash = {52eafb255fd13929e1728cfe70d3ede8}, keywords = {dblp imported puma test}, pages = {I-VI, 1-172}, school = {Univ./TH Karlsruhe}, timestamp = {2018-02-28T22:22:37.000+0100}, title = {Temporal-logisches Programmieren.}, username = {droessler}, year = 1993 }