𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Reference checks: A tool for system selection

✍ Scribed by Vicky Bradley


Book ID
114113279
Publisher
Elsevier Science
Year
1998
Tongue
English
Weight
341 KB
Volume
24
Category
Article
ISSN
1527-2966

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


MPI-CHECK: a tool for checking Fortran 9
✍ Glenn Luecke; Hua Chen; James Coyle; Jim Hoekstra; Marina Kraeva; Yan Zou πŸ“‚ Article πŸ“… 2003 πŸ› John Wiley and Sons 🌐 English βš– 115 KB πŸ‘ 1 views
A tool for model-checking Markov chains
✍ Holger Hermanns; Joost-Pieter Katoen; Joachim Meyer-Kayser; Markus Siegle πŸ“‚ Article πŸ“… 2003 πŸ› Springer 🌐 English βš– 470 KB
A Tool for Abstraction in Model Checking
✍ MarΓ­a del Mar Gallardo; JesΓΊs MartΓ­nez; Pedro Merino; Ernesto Pimentel πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 370 KB