%0 Journal Article %1 journals/csysl/BasileTMS22 %A Basile, Francesco %A Tommasi, Gianmaria De %A Motta, Carlo %A Sterle, Claudio %D 2022 %J IEEE Control. Syst. Lett. %K dblp %P 2683-2688 %T Necessary and Sufficient Condition to Assess Initial-State-Opacity in Live Bounded and Reversible Discrete Event Systems. %U http://dblp.uni-trier.de/db/journals/csysl/csysl6.html#BasileTMS22 %V 6

@article{journals/csysl/BasileTMS22, added-at = {2022-06-01T00:00:00.000+0200}, author = {Basile, Francesco and Tommasi, Gianmaria De and Motta, Carlo and Sterle, Claudio}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/21ea8e5c6c0e094c468ac7a5f013aca15/dblp}, ee = {https://doi.org/10.1109/LCSYS.2022.3174521}, interhash = {6c657a12bfca169f37e69ae0b94ac110}, intrahash = {1ea8e5c6c0e094c468ac7a5f013aca15}, journal = {IEEE Control. Syst. Lett.}, keywords = {dblp}, pages = {2683-2688}, timestamp = {2022-06-02T06:04:44.000+0200}, title = {Necessary and Sufficient Condition to Assess Initial-State-Opacity in Live Bounded and Reversible Discrete Event Systems.}, url = {http://dblp.uni-trier.de/db/journals/csysl/csysl6.html#BasileTMS22}, volume = 6, year = 2022 }