%0 Journal Article %1 journals/tcps/BarrereH21 %A Barrère, Martín %A Hankin, Chris %D 2021 %J ACM Trans. Cyber Phys. Syst. %K dblp %N 3 %P 30:1-30:29 %T Analysing Mission-critical Cyber-physical Systems with AND/OR Graphs and MaxSAT. %U http://dblp.uni-trier.de/db/journals/tcps/tcps5.html#BarrereH21 %V 5

@article{journals/tcps/BarrereH21, added-at = {2022-01-08T00:00:00.000+0100}, author = {Barrère, Martín and Hankin, Chris}, biburl = {https://www.bibsonomy.org/bibtex/244e6ce08f44684dce421d7bd598c0716/dblp}, ee = {https://doi.org/10.1145/3451169}, interhash = {50e674de1ebac2feb3857568aba73757}, intrahash = {44e6ce08f44684dce421d7bd598c0716}, journal = {ACM Trans. Cyber Phys. Syst.}, keywords = {dblp}, number = 3, pages = {30:1-30:29}, timestamp = {2024-04-09T00:53:04.000+0200}, title = {Analysing Mission-critical Cyber-physical Systems with AND/OR Graphs and MaxSAT.}, url = {http://dblp.uni-trier.de/db/journals/tcps/tcps5.html#BarrereH21}, volume = 5, year = 2021 }