Skip to main navigation Skip to search Skip to main content

Finite State Verifiers with Constant Randomness

    Research output: Chapter in Book/Report/Conference proceedingConference paperResearchpeer-review

    Original languageEnglish
    Title of host publicationHow the World Computes: Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012 : Proceedings.
    Place of PublicationBerlin ; Heidelberg
    PublisherSpringer
    Pages646-654
    DOIs
    Publication statusPublished - 2012

    Publication series

    NameLecture Notes in Computer Science ; Vol.7318

    Cite this