Roberto Ziller

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2005

4 Roberto Ziller: An Application of Generalized Supervisor Synthesis to the Control of a Call Center. FDL 2005: 429-431

3 Roberto Ziller, Klaus Schneider: Combining supervisor synthesis and model checking. ACM Trans. Embedded Comput. Syst. 4(2): 331-362 (2005)

2003

2 Roberto Ziller, Klaus Schneider: A Generalised Approach to Supervisor Synthesis. MEMOCODE 2003: 217-226

2001

1 Michael Baldamus, Klaus Schneider, Michael Wenz, Roberto Ziller: Can American Checkers be Solved by Means of Symbolic Model Checking? Electr. Notes Theor. Comput. Sci. 43: (2001)

	2005
4		Roberto Ziller: An Application of Generalized Supervisor Synthesis to the Control of a Call Center. FDL 2005: 429-431
3		Roberto Ziller, Klaus Schneider: Combining supervisor synthesis and model checking. ACM Trans. Embedded Comput. Syst. 4(2): 331-362 (2005)
	2003
2		Roberto Ziller, Klaus Schneider: A Generalised Approach to Supervisor Synthesis. MEMOCODE 2003: 217-226
	2001
1		Michael Baldamus, Klaus Schneider, Michael Wenz, Roberto Ziller: Can American Checkers be Solved by Means of Symbolic Model Checking? Electr. Notes Theor. Comput. Sci. 43: (2001)

Coauthor Index