Precise fixpoint-based analysis of programs with thread-creation and procedures
Lammich Peter, Müller-Olm Markus
Research article in edited proceedings (conference) | Peer reviewedDetails about the publication
Publisher: Caires Luís, Vasconcelos Vasco T.
Book title: CONCUR 2007 - Concurrency Theory (Volume 4703)
Page range: 287-302
Publishing company: Springer
Place of publication: Berlin
Title of series: Lecture Notes in Computer Science
Volume of series: 4703
Status: Published
Release year: 2007
Language in which the publication is written: English
Conference: CONCUR 2007: 18th International Conference on Concurrency Theory, September 3-8, 2007, Lisbon, Portugal, undefined
Link to the full text: http://dx.doi.org/10.1007/978-3-540-74407-8_20
Authors from the University of Münster
| Lammich, Peter | Institute of Computer Science |
| Müller-Olm, Markus | Professorship for practical computer science (Prof. Müller-Olm) |