{"user_id":"21240","year":"2014","citation":{"apa":"Becker, M., & Kuznik, C. (2014). Fast Many-Worlds Simulation to Resolve Nondeterminism of Fault Effect Propagation. Forum on Specification & Design Languages (FDL 2014).","ama":"Becker M, Kuznik C. Fast Many-Worlds Simulation to Resolve Nondeterminism of Fault Effect Propagation. Forum on Specification & Design Languages (FDL 2014). Published online 2014.","short":"M. Becker, C. Kuznik, Forum on Specification & Design Languages (FDL 2014) (2014).","ieee":"M. Becker and C. Kuznik, “Fast Many-Worlds Simulation to Resolve Nondeterminism of Fault Effect Propagation,” Forum on Specification & Design Languages (FDL 2014), 2014.","mla":"Becker, Markus, and Christoph Kuznik. “Fast Many-Worlds Simulation to Resolve Nondeterminism of Fault Effect Propagation.” Forum on Specification & Design Languages (FDL 2014), 2014.","bibtex":"@article{Becker_Kuznik_2014, title={Fast Many-Worlds Simulation to Resolve Nondeterminism of Fault Effect Propagation}, journal={Forum on Specification & Design Languages (FDL 2014)}, author={Becker, Markus and Kuznik, Christoph}, year={2014} }","chicago":"Becker, Markus, and Christoph Kuznik. “Fast Many-Worlds Simulation to Resolve Nondeterminism of Fault Effect Propagation.” Forum on Specification & Design Languages (FDL 2014), 2014."},"title":"Fast Many-Worlds Simulation to Resolve Nondeterminism of Fault Effect Propagation","_id":"25116","type":"journal_article","author":[{"full_name":"Becker, Markus","first_name":"Markus","last_name":"Becker"},{"full_name":"Kuznik, Christoph","first_name":"Christoph","last_name":"Kuznik"}],"date_updated":"2022-01-06T06:56:51Z","department":[{"_id":"672"}],"date_created":"2021-09-29T10:43:10Z","language":[{"iso":"eng"}],"publication":"Forum on Specification & Design Languages (FDL 2014)","status":"public"}