scientific article
From MaRDI portal
Publication:2754089
zbMath0974.68501MaRDI QIDQ2754089
Scott D. Stoller, Leena Unnikrishnan, Yanhong A. Liu
Publication date: 11 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Techniques and applications of computation slicing ⋮ Finding missing synchronization in a distributed computation using controlled re-execution ⋮ Efficient abstraction algorithms for predicate detection
This page was built for publication:
