Event Beta

Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems - International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures

Name: Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems - International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures
Start: 2012-10-22
End: 2012-10-26
Location: Vahrn

ROCKS

Date: 2012-10-22/26
Place: Vahrn, Italy on the map
Series: Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems
Academic field: Natural sciences: Computer and information sciences
Disciplines: computer science
Identifier: https://id.confref.org/event/e11qbqm

Proceedings

Title	DOI	Year	Record
Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems - International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures Lecture Notes in Computer Science 8453	10.1007/978-3-662-45489-3	2014	dblp

Sources

The records of the sources that this identifier brings together (cr:sameAs).

confref portal (2020)	`https://id.confref.org/data/confref-portal/event/rocks2012` · page
dblp	`https://dblp.org/db/conf/rocks/rocks2012`

Cite

Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems - International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures. confref identifier e11qbqm. https://id.confref.org/event/e11qbqm

Data: Turtle · JSON-LD · N-Triples · RDF/XML

APIs · SPARQL · About the identifiers

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.