DE MARIA, Elisabetta
DE MARIA, Elisabetta
Mostra
records
Risultati 1 - 4 di 4 (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
Games on Strings with a Limited Order Relation
2009-01-01 DE MARIA, Elisabetta; Montanari, Angelo; Vitacolonna, Nicola
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 | |
| Games on Strings with a Limited Order Relation | 1-gen-2009 | DE MARIA, Elisabetta; Montanari, Angelo; Vitacolonna, Nicola | |
| Module Identification Using Biological Constraints | 1-gen-2007 | DE MARIA, Elisabetta; Dovier, Agostino; Policriti, Alberto; Zantoni, Marco |