%0 Journal Article %1 journals/tase/PencoleS22 %A Pencolé, Yannick %A Subias, Audine %D 2022 %J IEEE Trans Autom. Sci. Eng. %K dblp %N 2 %P 1151-1162 %T Diagnosability of Event Patterns in Safe Labeled Time Petri Nets: A Model-Checking Approach. %U http://dblp.uni-trier.de/db/journals/tase/tase19.html#PencoleS22 %V 19

@article{journals/tase/PencoleS22, added-at = {2022-04-27T00:00:00.000+0200}, author = {Pencolé, Yannick and Subias, Audine}, biburl = {https://www.bibsonomy.org/bibtex/28318116022dfdfccd868d326262d298a/dblp}, ee = {https://doi.org/10.1109/TASE.2020.3045565}, interhash = {cbb4559bf2dce8d7aa6d6271a67d0181}, intrahash = {8318116022dfdfccd868d326262d298a}, journal = {IEEE Trans Autom. Sci. Eng.}, keywords = {dblp}, number = 2, pages = {1151-1162}, timestamp = {2024-04-09T05:59:05.000+0200}, title = {Diagnosability of Event Patterns in Safe Labeled Time Petri Nets: A Model-Checking Approach.}, url = {http://dblp.uni-trier.de/db/journals/tase/tase19.html#PencoleS22}, volume = 19, year = 2022 }