Model checking of open interval Markov chains
type: Item
instance of: scholarly article
title: Model checking of open interval Markov chains
zbMATH Open document ID: 1392.68240
DOI: 10.1007/978-3-319-18579-8_3
author: Souymodip Chakraborty
author: Joost-Pieter Katoen
publication date: 2018-07-06T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 60J20
Mathematics Subject Classification ID: 68Q87
zbMATH DE Number: 6899313
Wikidata QID: Q57800693
MaRDI profile type: Publication
full work available at URL: 978-3-319-18579-8 3
OpenAlex ID: W970178447
description: scientific article; zbMATH DE number 6899313