RSTM
From MaRDI portal
swMATH13099MaRDI QIDQ25017FDOQ25017
Author name not available (Why is that?)
Official website: http://www.cs.rochester.edu/research/synchronization/rstm/libraries.shtml
Cited In (4)
This page was built for software: RSTM