ZANTONI, Marco
ZANTONI, Marco
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.009 secondi).
An automaton-based approach to the verification of timed workflow schemas
2006-01-01 DE MARIA, Elisabetta; Montanari, Angelo; Zantoni, Marco
Checking workflow schemas with time constraints using timed automata (extended abstract)
2005-01-01 DE MARIA, Elisabetta; Montanari, Angelo; Zantoni, Marco
Module Identification Using Biological Constraints
2007-01-01 DE MARIA, Elisabetta; Dovier, Agostino; Policriti, Alberto; Zantoni, Marco
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| An automaton-based approach to the verification of timed workflow schemas | 1-gen-2006 | DE MARIA, Elisabetta; Montanari, Angelo; Zantoni, Marco | |
| Checking workflow schemas with time constraints using timed automata (extended abstract) | 1-gen-2005 | DE MARIA, Elisabetta; Montanari, Angelo; Zantoni, Marco | |
| Module Identification Using Biological Constraints | 1-gen-2007 | DE MARIA, Elisabetta; Dovier, Agostino; Policriti, Alberto; Zantoni, Marco |