Un metodo per tradurre la logica temporale lineare con operatori passati in automi di Rabin deterministici.
― 6 leggere min
Scienza all'avanguardia spiegata semplicemente
Un metodo per tradurre la logica temporale lineare con operatori passati in automi di Rabin deterministici.
― 6 leggere min