TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

All Linear-Time Congruences for Familiar Operators Part 2: Infinite LTSs

Tutkimustuotosvertaisarvioitu

Yksityiskohdat

AlkuperäiskieliEnglanti
OtsikkoCONCUR 2012 - Concurrency Theory. 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings. Lecture Notes in Computer Science
JulkaisupaikkaBerlin
KustantajaSpringer
Sivut162-176
ISBN (elektroninen)978-3-642-32940-1
ISBN (painettu)978-3-642-32939-5
DOI - pysyväislinkit
TilaJulkaistu - 2012
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisussa

Julkaisusarja

NimiInternational Conference on Concurrency Theory
Vuosikerta7454
ISSN (painettu)0302-9743
ISSN (elektroninen)1611-3349

Julkaisufoorumi-taso