Peter Lammich (Technische Universit\"at M\"unchen

Identifiers

• name variant Peter Lammich (Technische Universit\"at M\"unchen 0.60 · backfill

Papers (1)

1. Iterable Forward Reachability Analysis of Monitor-DPNs cs.LO · 2013 · author #5

Mentions

• 1309.5150 #5 · backfill · confidence 0.70 Peter Lammich (Technische Universit\"at M\"unchen

Frequent Coauthors

• Benedikt Nordhoff (Westf\"alische Wilhelms-Universit\"at M\"unster 1 shared papers
• Germany) 1 shared papers
• Markus M\"uller-Olm (Westf\"alische Wilhelms-Universit\"at M\"unster 1 shared papers