„Multiset Pushdown Systems“

Suchergebnisse

1 Treffer

• Analyzing Asynchronous Programs with Preemption
  Atig, Mohamed Faouzi ; Bouajjani, Ahmed ; Touili, Tayssir 2008 Schloss Dagstuhl – Leibniz-Zentrum für Informatik