Gaya APA
Aljazzar, Husain, Leue, Stefan. ().
Directed explicit state space search in the generation of counterexamples for stochastic model checking .
:
.
Gaya Chicago
Aljazzar, Husain, Leue, Stefan.
Directed explicit state space search in the generation of counterexamples for stochastic model checking.
:
,
.
Text.
Gaya MLA
Aljazzar, Husain, Leue, Stefan.
Directed explicit state space search in the generation of counterexamples for stochastic model checking.
:
,
.
Text.
Gaya Turabian
Aljazzar, Husain, Leue, Stefan.
Directed explicit state space search in the generation of counterexamples for stochastic model checking.
:
,
.
Print.