Markov Automata with Multiple Objectives: Supplemental Material
Main Authors: | Quatmann, Tim, Junges, Sebastian, Katoen, Joost-Pieter |
---|---|
Format: | info dataset Journal |
Terbitan: |
, 2020
|
Online Access: |
https://zenodo.org/record/4298643 |
Internet
https://zenodo.org/record/4298643Lokasi
Koleksi | Cognizance Journal of Multidisciplinary Studies |
---|---|
Gedung | Cognizance Journal of Multidisciplinary Studies |
Institusi | ZAIN Publications |
Kota | Stockholm |
Provinsi | INTERNASIONAL |
Kontak | Butuh informasi lebih lanjut? Hubungi pustakawan institusi ini. |