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