Lehekülje "Fail:Software Synthesis - LTL Synthesis with Acacia part III - Lecture 14.pdf" muudatuste ajalugu
Mine navigeerimisribale
Mine otsikasti
Märgi versioonid, mida tahad võrrelda ja vajuta võrdlemisnupule. Legend: (viim) = erinevused võrreldes viimase redaktsiooniga, (eel) = erinevused võrreldes eelmise redaktsiooniga, P = pisimuudatus