Nollatietämystodistimen toiminnan kuvaaminen modaalilogiikkaa käyttäen

Reference:

Jan Juopperi. Nollatietämystodistimen toiminnan kuvaaminen modaalilogiikkaa käyttäen. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1990.

Suggested BibTeX entry:

@mastersthesis{JuopperiMsc,
    author = {Juopperi, Jan},
    school = {Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory},
    title = {Nollatiet\"amystodistimen toiminnan kuvaaminen modaalilogiikkaa k\"aytt\"aen},
    year = {1990},
}