D'APRILE, DAVIDE
D'APRILE, DAVIDE
SCIENZE AGRARIE, FORESTALI E ALIMENTARI
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.016 secondi).
CSL Model Checking for the GreatSPN Tool
2004-01-01 S. DONATELLI; D. D'APRILE; J. SPROSTON
Effects of twenty years of ungulate browsing on forest regeneration at Paneveggio reserve, Italy
2020-01-01 D'Aprile D.; Vacchiano G.; Meloni F.; Garbarino M.; Motta R.; Ducoli V.; Partel P.
From Time Petri Nets to Timed Automata: an Untimed Approach
2007-01-01 D. D'APRILE; S. DONATELLI; A. SANGNIER; J. SPROSTON
Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools
2006-01-01 D. CEROTTI; D. D'APRILE; S. DONATELLI; J. SPROSTON
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
CSL Model Checking for the GreatSPN Tool | 2004 | S. DONATELLI; D. D'APRILE; J. SPROSTON | |
Effects of twenty years of ungulate browsing on forest regeneration at Paneveggio reserve, Italy | 2020 | D'Aprile D.; Vacchiano G.; Meloni F.; Garbarino M.; Motta R.; Ducoli V.; Partel P. | |
From Time Petri Nets to Timed Automata: an Untimed Approach | 2007 | D. D'APRILE; S. DONATELLI; A. SANGNIER; J. SPROSTON | |
Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools | 2006 | D. CEROTTI; D. D'APRILE; S. DONATELLI; J. SPROSTON |