COSMOS: A Statistical Model Checker for the Hybrid Automata Stochastic Logic release_3d6c5brta5fnxizks6bjgqw7dq

by Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin

Archived Files and Locations

application/pdf  277.9 kB
file_aotjppzyu5hsveooemxv3q5dg4
www.lsv.ens-cachan.fr (web)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  paper-conference
Stage   published
Year   2011
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: dc8860b9-cc3c-4f06-9662-9cc3e055fe80
API URL: JSON