%0 Conference Paper %1 conf/ladc/XiangMTYSM13 %A Xiang, Jianwen %A Machida, Fumio %A Tadano, Kumiko %A Yanoo, Kazuo %A Sun, Wei %A Maeno, Yoshiharu %B LADC %D 2013 %I IEEE Computer Society %K dblp %P 58-67 %T A Static Analysis of Dynamic Fault Trees with Priority-AND Gates. %U http://dblp.uni-trier.de/db/conf/ladc/ladc2013.html#XiangMTYSM13 %@ 978-1-4673-5746-3

@inproceedings{conf/ladc/XiangMTYSM13, added-at = {2023-03-24T00:00:00.000+0100}, author = {Xiang, Jianwen and Machida, Fumio and Tadano, Kumiko and Yanoo, Kazuo and Sun, Wei and Maeno, Yoshiharu}, biburl = {https://www.bibsonomy.org/bibtex/2349c69db47c7953eccaae756afe770db/dblp}, booktitle = {LADC}, crossref = {conf/ladc/2013}, ee = {https://doi.ieeecomputersociety.org/10.1109/LADC.2013.14}, interhash = {fa1c8fc79d7ce1314a1d194321c996d7}, intrahash = {349c69db47c7953eccaae756afe770db}, isbn = {978-1-4673-5746-3}, keywords = {dblp}, pages = {58-67}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T04:35:34.000+0200}, title = {A Static Analysis of Dynamic Fault Trees with Priority-AND Gates.}, url = {http://dblp.uni-trier.de/db/conf/ladc/ladc2013.html#XiangMTYSM13}, year = 2013 }