Work

Partial Order Methods for Statistical Model Checking and Simulation

Year: 2011

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-642-21461-5_4

Authors: Jonathan Bogdoll, Luis María Ferrer Fioriti, Arnd Hartmanns, Holger Hermanns

Institution: Saarland University

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W1617322827

FWCI: 7.264

Cites: 31

Cited by: 60

Related to: 10