Alexander Bell

Available identifiers

zbMath Open bell.alexanderMaRDI QIDQ2431768

List of research outcomes

Publication	Date of Publication	Type
Sequential and distributed model checking of Petri net specifications	2013-08-16	Paper
hpGEM---A software framework for discontinuous Galerkin finite element methods	2008-12-21	Paper
Untold Horrors About Steady-State Probabilities: What Reward-Based Measures Won’t Tell About the Equilibrium Distribution	2008-08-28	Paper
Distributed disk-based algorithms for model checking very large Markov chains	2006-10-24	Paper

Research outcomes over time

This page was built for person: Alexander Bell