Items where Author is "Robot, Marcellius Fernando"

[up] Up a level
Group by: Item Type | No Grouping
Jump to: Thesis
Number of items: 1.

Thesis

Robot, Marcellius Fernando (2026) Pemodelan Dan Verifikasi Formal Perubahan Temperatur Di Kota Surabaya Menggunakan Rantai Markov Waktu Diskrit Dan Probabilistic Computation Tree Logic. Other thesis, Institut Teknologi Sepuluh Nopember.

This list was generated on Thu Apr 2 01:59:02 2026 UTC.