Efficient computation of exact solutions for quantitative model checking
Sergio Giro · Electronic Proceedings in Theoretical Computer Science · 2012
Abstract onlyNot checked
Sergio Giro · Electronic Proceedings in Theoretical Computer Science · 2012
Abstract onlyNot checked
Hedjar Ramdane, Bounkhel Messaoud · International Journal of Applied Mathematics and Computer Science · 2019
Abstract onlyNot checked
Sivasurya Santhanam, Tobias Hecking, Andreas Schreiber et al. · PeerJ Computer Science · 2022
Abstract onlyNot checked
Ricardo Perez-Castillo, Mario Piattini · Journal of Universal Computer Science · 2021
Abstract onlyNot checked
Meghana Aruru, Raanan Gurewitsch, Sarmistha Das et al. · BLDE University Journal of Health Sciences · 2020
Abstract onlyNot checked
Srinivasarengan Krishnan, Ragot José, Aubrun Christophe et al. · International Journal of Applied Mathematics and Computer Science · 2022
Abstract onlyNot checked
Dakun Yang, Muhammad Sheraz Arshad Malik · PeerJ Computer Science · 2025
Abstract onlyNot checked
Marina Zaharieva-Stojanovski, Marieke Huisman, Stefan Blom · Electronic Proceedings in Theoretical Computer Science · 2012
Abstract onlyNot checked
Douglas L. Mann, MD, FACC · JACC: Basic to Translational Science · 2017
Abstract onlyNot checked
Rashmi Sharma, Pradeep Kumar, Vaidehi Gohil · MRIMS Journal of Health Sciences · 2023
Abstract onlyNot checked
Ivan Franch-Pardo, Brian M. Napoletano, Fernando Rosete-Verges et al. · Science of The Total Environment · 2020 · Review
Abstract only
Xin Lu, Jing Tan, Ziqiang Cao et al. · Health Data Science · 2021
Abstract onlyNot checked
Munizu, Musran, Riyadi, Slamet · Decision Science Letters · 2021
Abstract onlyNot checked
Seyed Mahdi Sadatrasou, Mohammad Reza Gholamian, Kamran Shahanaghi · Decision Science Letters · 2015
Abstract onlyNot checked
Sandeep U. Mane, M. R. Narsingrao, Vrushali C. Patil · Decision Science Letters · 2018
Abstract onlyNot checked
Prashant Jindal, Anjana Solanki · Decision Science Letters · 2016
Abstract onlyNot checked
Purusotham Singamsetty, Jayanth Kumar Thenepalle · Decision Science Letters · 2021
Abstract onlyNot checked
Sukono, Sukono, Riaman, Riaman, Supian, Sudradjat et al. · Decision Science Letters · 2021
Abstract onlyNot checked
Valentín J. Calderon-Contreras, Jhony Ostos, Wilmer Florez-Garcia et al. · Decision Science Letters · 2022
Abstract onlyNot checked
Bachtiar, Aziz Ikhsan, Marimin, Marimin, Adrianto, Luky et al. · Decision Science Letters · 2021
Abstract onlyNot checked