Informatik-Logo
Fakultät für Informatik - Technische Universität München

Lehrstuhl für Effiziente Algorithmen

 TUM-Logo

Die bibliographische Datenbank LEABib

Suchen • Liste der Journale • Liste der Serien • Liste der Konferenzen • Ausgewählte Publikationen Ausgewählte Publikationen [1] Hilfe Hilfe
 
Suche: Citkey="Czerwinski-Hofman-Lasota/14"
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

Decidability of branching bisimulation on normed commutative context-free processes Publikation auswählen
Wojciech Czerwiński, Piotr Hofman, Sƚawomir Lasota

Theory of Computing Systems 55 (1), 2014, pp. 136-169

Editors  Alan L. Selman
Publisher:  Springer-Verlag
Address:  New York
 
URL:   http://dx.doi.org/10.1007/s00224-013-9505-9
 
Note:   formerly Mathematical Systems Theory