Elisabetta De Maria

2006
2	EE	Elisabetta De Maria, Angelo Montanari, Marco Zantoni: An automaton-based approach to the verification of timed workflow schemas. TIME 2006: 87-94
2005
1	EE	Elisabetta De Maria, Angelo Montanari, Marco Zantoni: Checking Workflow Schemas with Time Constraints Using Timed Automata. OTM Workshops 2005: 1-2

Coauthor Index

1	Angelo Montanari	[1] [2]
2	Marco Zantoni	[1] [2]