Michael Weber

other persons with the same name:

• Michael Weber

	2005
4		Martin Leucker, Thomas Noll, Perdita Stevens, Michael Weber: Functional programming languages for verification tools: a comparison of Standard ML and Haskell. STTT 7(2): 184-194 (2005)
	2003
3		Martin Leucker, Rafal Somla, Michael Weber: Parallel Model Checking for LTL, CTL*, and Lµ2. Electr. Notes Theor. Comput. Sci. 89(1): (2003)
	2002
2		Benedikt Bollig, Martin Leucker, Michael Weber: Local Parallel Model Checking for the Alternation-Free µ-Calculus. SPIN 2002: 128-147
	2001
1		Benedikt Bollig, Martin Leucker, Michael Weber: Parallel Model Checking for the Alternation Free µ-Calculus. TACAS 2001: 543-558

Coauthor Index

1	Benedikt Bollig	[1] [2]
2	Martin Leucker	[1] [2] [3] [4]
3	Thomas Noll	[4]
4	Rafal Somla	[3]
5	Perdita Stevens	[4]