Precise fixpoint-based analysis of programs with thread-creation and procedures

Lammich Peter, Müller-Olm Markus

Forschungsartikel in Sammelband (Konferenz) | Peer reviewed

Details zur Publikation

Herausgeber*innenCaires Luís, Vasconcelos Vasco T.
BuchtitelCONCUR 2007 - Concurrency Theory (Band 4703)
Seitenbereich287-302
VerlagSpringer
ErscheinungsortBerlin
Titel der ReiheLecture Notes in Computer Science
Nr. in Reihe4703
StatusVeröffentlicht
Veröffentlichungsjahr2007
Sprache, in der die Publikation verfasst istEnglisch
KonferenzCONCUR 2007: 18th International Conference on Concurrency Theory, September 3-8, 2007, Lisbon, Portugal, undefined
DOI10.1007/978-3-540-74407-8_20
Link zum Volltexthttp://dx.doi.org/10.1007/978-3-540-74407-8_20

Autor*innen der Universität Münster

Lammich, Peter
Institut für Informatik
Müller-Olm, Markus
Professur für Praktische Informatik (Prof. Müller-Olm)