BibTeX-Export: 1 Datensatz f{\"u}r alle [global]

@inproceedings{TUW-141544,
    author = {Kirner, Raimund},
    title = {On the Halting Problem of Finite-State Programs},
    booktitle = {14. Kolloquium Programmiersprachen und Grundlagen der Programmierung},
    year = {2007},
    numpages = {6},
    note = {talk: 14. Kolloquium ''Programmiersprachen und Grundlagen der Programmierung (KPS'07)'', Timmendorfer Strand, Germany; 2007-10-10 -- 2007-10-12}
}


1 Datensatz ausgegeben