%0 Journal Article %1 journals/automatica/YinL17b %A Yin, Xiang %A Lafortune, Stéphane %D 2017 %J Autom. %K dblp %P 199-205 %T Verification complexity of a class of observational properties for modular discrete events systems. %U http://dblp.uni-trier.de/db/journals/automatica/automatica83.html#YinL17b %V 83

@article{journals/automatica/YinL17b, added-at = {2021-07-25T00:00:00.000+0200}, author = {Yin, Xiang and Lafortune, Stéphane}, biburl = {https://www.bibsonomy.org/bibtex/236ee3c2aa404961e6c9674b21a16123b/dblp}, ee = {https://doi.org/10.1016/j.automatica.2017.06.013}, interhash = {c8666197c693fd099f926aef4d01f3ea}, intrahash = {36ee3c2aa404961e6c9674b21a16123b}, journal = {Autom.}, keywords = {dblp}, pages = {199-205}, timestamp = {2024-04-08T18:05:43.000+0200}, title = {Verification complexity of a class of observational properties for modular discrete events systems.}, url = {http://dblp.uni-trier.de/db/journals/automatica/automatica83.html#YinL17b}, volume = 83, year = 2017 }