Experiments for 'Model Checking Finite-Horizon Markov Chains with Probabilistic Inference'
Main Authors: | Steven Holtzen, Sebastian Junges, Marcell Vazquez-Chanlatte, Todd Millstein, Sanjit A. Seshia, Guy Van den Broeck |
---|---|
Format: | info software eJournal |
Terbitan: |
, 2021
|
Subjects: | |
Online Access: |
https://zenodo.org/record/4726264 |
Internet
https://zenodo.org/record/4726264Lokasi
Koleksi | Marga Life in South Sumatra in the Past: Puyang Concept Sacrificed and Demythosized |
---|---|
Gedung | Perpustakaan Universitas PGRI Palembang |
Institusi | Universitas PGRI Palembang |
Kota | KOTA PALEMBANG |
Provinsi | SUMATERA SELATAN |
Kontak | Butuh informasi lebih lanjut? Hubungi pustakawan institusi ini. |