BibTeX-Export: 1 Datensatz f{\"u}r alle [global] @article{TUW-137434, author = {Blieberger, Johann}, title = {Real-Time Properties of Indirect Recursive Procedures}, journal = {Information and Computation}, year = {2001}, volume = {171}, pages = {156--182}, doi = {10.1006/inco.2001.3042} } 1 Datensatz ausgegeben