scientific article; zbMATH DE number 1418459
From MaRDI portal
Publication:4942016
zbMath0952.68035MaRDI QIDQ4942016
C. R. Ramakrishnan, Yifei Dong
Publication date: 19 March 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theory of compilers and interpreters (68N20) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
State space reduction for process algebra specifications ⋮ Out of control: reducing probabilistic models by control-state elimination
Uses Software