SAN PIETRO, PIERLUIGI
SAN PIETRO, PIERLUIGI
DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.003 secondi).
Titolo | Data di pubblicazione | Autori | File |
---|---|---|---|
Liveness verification of reversal-bounded multicounter machines with a free counter (extended abstract) | 1-gen-2001 | San Pietro P. + | |
Real-counter automata and their decision problems (extended abstract) | 1-gen-2004 | San Pietro P. + |