Michael Weber (Selection)

other persons with the same name:

• Michael Weber

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

2		Benedikt Bollig, Martin Leucker, Michael Weber: Local Parallel Model Checking for the Alternation-Free µ-Calculus. SPIN 2002: 128-147
1		Benedikt Bollig, Martin Leucker, Michael Weber: Parallel Model Checking for the Alternation Free µ-Calculus. TACAS 2001: 543-558

Selection of 2 from 4 records - Michael Weber has 5 coauthors