background:  fascioliasis is considered as the most important helminthic infection of cattle and sheep. traditional approaches using morphological and biologic characters cannot cause a cer­tainty in the accurate and precise identification and intra-specific differences of fasciola spp. in this study, we identified fasciola species using its-1 marker and described genetic variation of each spec...

Probabilistic model checking – the verification of models incorporating random phenomena – has enjoyed a rapid increase of interest. Thanks to the availability of mature tool support and efficient verification algorithms, probabilistic model checking has been successfully applied to case studies from various areas, such as randomized (distributed) algorithms, planning and AI, security, hardware...