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