Techreport4020: Unterschied zwischen den Versionen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Long Cheng (Diskussion | Beiträge)
K (1 Version: Automatically imported publication data from DBLP)
Long Cheng (Diskussion | Beiträge)
K (Automatically imported publication data from DBLP)
(kein Unterschied)

Version vom 28. Oktober 2014, 16:47 Uhr

Toggle side column

A Note on Undecidability of Observation Consistency for Non-Regular Language

Tomáš MasopustTomáš Masopust
A Note on Undecidability of Observation Consistency for Non-Regular Language


Tomáš Masopust
A Note on Undecidability of Observation Consistency for Non-Regular Language
Technical Report, Technischen Universität Dresden, 2012
@techreport{M2012,
  author      = {Tom{\'{a}}{\v{s}} Masopust},
  title       = {A Note on Undecidability of Observation Consistency for
                 Non-Regular Language},
  institution = {Technischen Universit{\"{a}}t Dresden},
  year        = {2012}
}