%0 Journal Article %1 journals/ife/Brzoska96 %A Brzoska, Christoph %D 1996 %J Inform. Forsch. Entwickl. %K %N 2 %P 61-68 %T Temporales logisches Programmieren. %U http://dblp.uni-trier.de/db/journals/ife/ife11.html#Brzoska96 %V 11

@article{journals/ife/Brzoska96, added-at = {2023-12-12T21:50:04.000+0100}, author = {Brzoska, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/2fee96ca1fb897a8f85f77f8b245d627b/admin}, ee = {https://doi.org/10.1007/s004500050043}, interhash = {439b0696e965ff678a7c2f6d63cfc6a7}, intrahash = {fee96ca1fb897a8f85f77f8b245d627b}, journal = {Inform. Forsch. Entwickl.}, keywords = {}, number = 2, pages = {61-68}, timestamp = {2023-12-12T21:50:04.000+0100}, title = {Temporales logisches Programmieren.}, url = {http://dblp.uni-trier.de/db/journals/ife/ife11.html#Brzoska96}, volume = 11, year = 1996 }