Hauptmenü öffnen
Forschungsportal |
Über das Portal
Publikationen
Projekte
Vorträge
Preisverleihungen
Promotionen
Habilitationen
Personen
Einrichtungen
DE
|
EN
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*innen:
Caires Luís, Vasconcelos Vasco T.
Buchtitel:
CONCUR 2007 - Concurrency Theory (Band 4703)
Seitenbereich:
287-302
Verlag:
Springer
Erscheinungsort:
Berlin
Titel der Reihe:
Lecture Notes in Computer Science
Nr. in Reihe:
4703
Status:
Veröffentlicht
Veröffentlichungsjahr:
2007
Sprache, in der die Publikation verfasst ist:
Englisch
Konferenz:
CONCUR 2007: 18th International Conference on Concurrency Theory, September 3-8, 2007, Lisbon, Portugal, undefined
DOI:
10.1007/978-3-540-74407-8_20
Link zum Volltext:
http://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)