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},
}
|