@inproceedings{Grosu:2009:FAT:1538188.1538203,
    Address = {Berlin, Heidelberg},
    Author = {Grosu, Radu},
    BookTitle = {Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control},
    File = {Finite Automata As Time-Inv Linear Systems Observability, Reachability and More - Grosu (0) (0) - a - a - s.pdf},
    ISBN = {978-3-642-00601-2},
    Location = {San Francisco, CA},
    Pages = {194--208},
    Publisher = {Springer-Verlag},
    Series = {HSCC '09},
    Title = {Finite Automata As Time-Inv Linear Systems Observability, Reachability and More},
    URL = {http://dx.doi.org/10.1007/978-3-642-00602-9\_14},
    Year = {2009},
    acmid = {1538203},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-00602-9\_14},
    date-added = {2016-05-17 14:28:12 +0000},
    date-modified = {2016-05-17 14:28:12 +0000},
    numpages = {15},
    doi = {10.1007/978-3-642-00602-9_14}
}

@inproceedings{Grosu:2009:FAT:1538188.1538203, Address = {Berlin, Heidelberg}, Author = {Grosu, Radu}, BookTitle = {Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control}, File = {Finite Automata As Time-Inv Linear Systems Observability, Reachability and More - Grosu (0) (0) - a - a - s.pdf}, ISBN = {978-3-642-00601-2}, Location = {San Francisco, CA}, Pages = {194--208}, Publisher = {Springer-Verlag}, Series = {HSCC '09}, Title = {Finite Automata As Time-Inv Linear Systems Observability, Reachability and More}, URL = {http://dx.doi.org/10.1007/978-3-642-00602-9_14}, Year = {2009}, acmid = {1538203}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-00602-9_14}, date-added = {2016-05-17 14:28:12 +0000}, date-modified = {2016-05-17 14:28:12 +0000}, numpages = {15}, doi = {10.1007/978-3-642-00602-9_14} }