Peter Lammich

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008

2 EE Peter Lammich, Markus Müller-Olm: Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors. SAS 2008: 205-220

2007

1 EE Peter Lammich, Markus Müller-Olm: Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures. CONCUR 2007: 287-302

2008
2	EE	Peter Lammich, Markus Müller-Olm: Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors. SAS 2008: 205-220
2007
1	EE	Peter Lammich, Markus Müller-Olm: Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures. CONCUR 2007: 287-302

Coauthor Index

1 Markus Müller-Olm [1] [2]