http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png
CONCUR 2011 - concurrency theory : 22nd international conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011 ; proceedings
Katoen, Joost-Pieter (Editor) ; Koenig, B. (Editor)
2011
VerantwortlichkeitsangabeJoost-Pieter Katoen; Barbara König (eds.)
ImpressumHeidelberg [u.a.] : Springer
UmfangXIV, 560 S. : graph. Darst.
ISBN978-3-642-23216-9, 3-642-23216-7, 978-3-642-23217-6
ReiheLecture notes in computer science Advanced research in computing and software science ; 6901
Online
DOI: 10.1007/978-3-642-23217-6
10.1007/978-3-642-23217-6
Einrichtungen
- Fachgruppe Informatik (120000)
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
Dokumenttyp
Proceedings
Format
online, print
Sprache
English
Anmerkung
Peer reviewed article
Externe Identnummern
INSPEC: 12333640
SCOPUS: SCOPUS:2-s2.0-80052889342
OpenAlex: W2477078744
Interne Identnummern
RWTH-CONV-093502
Datensatz-ID: 47744
Beteiligte Länder
Germany
