|
Search the dblp DataBase
Peter Lammich:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Peter Lammich, Markus Müller-Olm
Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures. [Citation Graph (0, 0)][DBLP] CONCUR, 2007, pp:287-302 [Conf]
Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints. [Citation Graph (, )][DBLP]
Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors. [Citation Graph (, )][DBLP]
A Decision Procedure for Detecting Atomicity Violations for Communicating Processes with Locks. [Citation Graph (, )][DBLP]
The Isabelle Collections Framework. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
|