Regular symbolic analysis of dynamic networks of pushdown systems
Bouajjani Ahmed, Müller-Olm Markus, Touili Tayssir
Forschungsartikel in Sammelband (Konferenz) | Peer reviewedDetails zur Publikation
Herausgeber*innen: Abadi Martín, de Alfaro Luca
Buchtitel: CONCUR 2005 - Concurrency Theory (Band 3653)
Seitenbereich: 473-487
Verlag: Springer
Erscheinungsort: Berlin
Titel der Reihe: Lecture Notes in Computer Science
Nr. in Reihe: 3653
Status: Veröffentlicht
Veröffentlichungsjahr: 2005
Sprache, in der die Publikation verfasst ist: Englisch
Konferenz: CONCUR 2005: 16th International Conference on Concurrency Theory, August 23-26, 2005, San Francisco, CA, USA
DOI: 10.1007/11539452_36
Link zum Volltext: http://dx.doi.org/10.1007/11539452_36
Autor*innen der Universität Münster
| Müller-Olm, Markus |
Projekte, aus denen die Publikation entstanden ist
SPP 1496 - Teilprojekt: Informationsflusskontrolle für mobile Komponenten mittels präziser Analyse paralleler Programme (IFC for Mobile Components) Laufzeit: 01.10.2010 - 30.09.2013 | 1. Förderperiode Gefördert durch: DFG - Schwerpunktprogramm Art des Projekts: Teilprojekt in DFG-Verbund koordiniert außerhalb der Universität Münster |