%0 Conference Paper %1 conf/cdc/PruekprasertC21 %A Pruekprasert, Sasinee %A Cai, Kai %B CDC %D 2021 %I IEEE %K dblp %P 7022-7027 %T Local Opacity Verification for Distributed Discrete Event Systems. %U http://dblp.uni-trier.de/db/conf/cdc/cdc2021.html#PruekprasertC21 %@ 978-1-6654-3659-5

@inproceedings{conf/cdc/PruekprasertC21, added-at = {2022-02-08T00:00:00.000+0100}, author = {Pruekprasert, Sasinee and Cai, Kai}, biburl = {https://www.bibsonomy.org/bibtex/2f67380def9c9262a704bc5550b693131/dblp}, booktitle = {CDC}, crossref = {conf/cdc/2021}, ee = {https://doi.org/10.1109/CDC45484.2021.9683017}, interhash = {99a5fe741725e8afce8c09d386538f37}, intrahash = {f67380def9c9262a704bc5550b693131}, isbn = {978-1-6654-3659-5}, keywords = {dblp}, pages = {7022-7027}, publisher = {IEEE}, timestamp = {2024-04-09T15:27:42.000+0200}, title = {Local Opacity Verification for Distributed Discrete Event Systems.}, url = {http://dblp.uni-trier.de/db/conf/cdc/cdc2021.html#PruekprasertC21}, year = 2021 }