Sfoglia per Autore ZANTONI, Marco
Mostrati risultati da 1 a 3 di 3
Checking workflow schemas with time constraints using timed automata (extended abstract)
2005-01-01 DE MARIA, Elisabetta; Montanari, Angelo; Zantoni, Marco
An automaton-based approach to the verification of timed workflow schemas
2006-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 |
---|---|---|---|
Checking workflow schemas with time constraints using timed automata (extended abstract) | 1-gen-2005 | DE MARIA, Elisabetta; Montanari, Angelo; Zantoni, Marco | |
An automaton-based approach to the verification of timed workflow schemas | 1-gen-2006 | DE MARIA, Elisabetta; Montanari, Angelo; Zantoni, Marco | |
Module Identification Using Biological Constraints | 1-gen-2007 | DE MARIA, Elisabetta; Dovier, Agostino; Policriti, Alberto; Zantoni, Marco |
Mostrati risultati da 1 a 3 di 3
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile