๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

The ins and outs of the probabilistic model checker MRMC

โœ Scribed by Joost-Pieter Katoen; Ivan S. Zapreev; Ernst Moritz Hahn; Holger Hermanns; David N. Jansen

Book ID
103881950
Publisher
Elsevier Science
Year
2011
Tongue
English
Weight
669 KB
Volume
68
Category
Article
ISSN
0166-5316

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

The ins and outs of singing
The ins and outs of singing
โœ Nigel Williams ๐Ÿ“‚ Article ๐Ÿ“… 2002 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 17 KB
The Ins and Outs of Introspection
The Ins and Outs of Introspection
โœ Philip Robbins ๐Ÿ“‚ Article ๐Ÿ“… 2006 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 170 KB
The ins and outs of signalling
The ins and outs of signalling
โœ Downward, Julian ๐Ÿ“‚ Article ๐Ÿ“… 2001 ๐Ÿ› Nature Publishing Group ๐ŸŒ English โš– 368 KB
Ins and outs of the ribosome
Ins and outs of the ribosome
โœ Zimmermann, Robert A. ๐Ÿ“‚ Article ๐Ÿ“… 1995 ๐Ÿ› Nature Publishing Group ๐ŸŒ English โš– 704 KB
The Ins and Outs of Electrophoresis
The Ins and Outs of Electrophoresis
โœ Hodgson, John ;Barlow, Kirsty ๐Ÿ“‚ Article ๐Ÿ“… 1993 ๐Ÿ› Nature Publishing Group ๐ŸŒ English โš– 299 KB