Work

Time-bounded reachability in tree-structured QBDs by abstraction

Year: 2010

Type: article

Source: Performance Evaluation

DOI: 10.1016/j.peva.2010.04.002

Authors: Daniel Klink, Anne Remke, Boudewijn R. Haverkort, Joost-Pieter Katoen

Institutions: RWTH Aachen University, University of Twente

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

Funders: Deutsche Forschungsgemeinschaft, Nederlandse Organisatie voor Wetenschappelijk Onderzoek

OpenAlex ID: W2161038495

FWCI: 1.315

Cites: 42

Cited by: 12

Related to: 10