Distributed Observability of Regular Languages is Undecidable

S. Tripakis

EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M01/8
2001


BibTeX citation:

@techreport{Tripakis:M01/8,
    Author = {Tripakis, S.},
    Title = {Distributed Observability of Regular Languages is Undecidable},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {2001},
    URL = {http://www.eecs.berkeley.edu/Pubs/TechRpts/2001/3944.html},
    Number = {UCB/ERL M01/8}
}

EndNote citation:

%0 Report
%A Tripakis, S.
%T Distributed Observability of Regular Languages is Undecidable
%I EECS Department, University of California, Berkeley
%D 2001
%@ UCB/ERL M01/8
%U http://www.eecs.berkeley.edu/Pubs/TechRpts/2001/3944.html
%F Tripakis:M01/8