Fail:Software Synthesis - LTL Synthesis with Acacia part III - Lecture 14.pdf
Mine navigeerimisribale
Mine otsikasti
Software_Synthesis_-_LTL_Synthesis_with_Acacia_part_III_-_Lecture_14.pdf (faili suurus: 2,01 MB, MIME tüüp: application/pdf)
Faili ajalugu
Klõpsa kuupäeva ja kellaaega, et näha sel ajahetkel kasutusel olnud failiversiooni.
Kuupäev/kellaaeg | Mõõtmed | Kasutaja | Kommentaar | |
---|---|---|---|---|
viimane | 7. mai 2019, kell 14:59 | (2,01 MB) | Leonidas (arutelu | kaastöö) |
Sa ei saa seda faili üle kirjutada.
Faili kasutus
Seda faili kasutab järgmine lehekülg: