%0 Journal Article %1 journals/tac/AlvesCB17 %A Alves, Marcos Vinícius Silva %A Carvalho, Lilian K. %A Basilio, João Carlos %D 2017 %J IEEE Trans. Automat. Contr. %K dblp %N 11 %P 5902-5908 %T New Algorithms for Verification of Relative Observability and Computation of Supremal Relatively Observable Sublanguage. %U http://dblp.uni-trier.de/db/journals/tac/tac62.html#AlvesCB17 %V 62

@article{journals/tac/AlvesCB17, added-at = {2017-11-23T00:00:00.000+0100}, author = {Alves, Marcos Vinícius Silva and Carvalho, Lilian K. and Basilio, João Carlos}, biburl = {https://www.bibsonomy.org/bibtex/235cedc9d9b35b1dd81e7a8b1e677a14c/dblp}, ee = {https://doi.org/10.1109/TAC.2016.2644640}, interhash = {5e591f7db321fbca66824178c75ee3ee}, intrahash = {35cedc9d9b35b1dd81e7a8b1e677a14c}, journal = {IEEE Trans. Automat. Contr.}, keywords = {dblp}, number = 11, pages = {5902-5908}, timestamp = {2017-12-07T18:11:14.000+0100}, title = {New Algorithms for Verification of Relative Observability and Computation of Supremal Relatively Observable Sublanguage.}, url = {http://dblp.uni-trier.de/db/journals/tac/tac62.html#AlvesCB17}, volume = 62, year = 2017 }