Marco Zantoni

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

Coauthor Index

1	Elisabetta De Maria	[1] [2]
2	Angelo Montanari	[1] [2]