Skip to content
Descubridor Institucional UMAR
Inicio
Búsqueda avanzada
Explorar
Inicio
Búsqueda avanzada
Explorar
Login
Language
English
Deutsch
Español
Français
Italiano
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Effective Stochastic Automata Model Checking by Interval Abstraction
Effective Stochastic Automata Model Checking by Interval Abstraction
Fuente:
Zenodo
Saved in:
Bibliographic Details
Main Author:
Petri, Annabell
Format:
Recurso digital
Published:
Zenodo
2026
Online Access:
Acceder al recurso
Tags:
Add Tag
No Tags, Be the first to tag this record!
Cite this
Text this
Email this
Print
Export Record
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
Save to List
Permanent link
Holdings
Description
Comments
Similar Items
Staff View
Be the first to leave a comment!
Your Comment
You must be logged in first
Similar Items
Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems
by: Gracia, Ibon, et al.
Published: (2025)
Promoting the culture sector through job creation and small enterprise development in SADC countries: the performing arts and dance
by: Annabell Lebetche
Published: (2003)
Guiding Growth in Reading: Reference Manual for Teachers of Children with Learning Problems in the Regular Classroom Grades 1-4.
by: Scarbrough, Annabell T.
Published: (1973)
Model Checking Probabilistic Operator Precedence Automata
by: Pontiggia, Francesco, et al.
Published: (2024)
Learn, Check, Test -- Security Testing Using Automata Learning and Model Checking
by: Marksteiner, Stefan, et al.
Published: (2025)
