scientific article; zbMATH DE number 7333238

zbMath1458.68116arXiv1207.0870MaRDI QIDQ5858723

Elise Cormie-Bowins, Franck Van Breugel

Publication date: 14 April 2021

Full work available at URL: https://arxiv.org/abs/1207.0870

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Accelerating SpMV multiplication in probabilistic model checkers using GPUs

This page was built for publication: