scientific article; zbMATH DE number 804272
From MaRDI portal
Publication:4851528
Recommendations
Cited in
(5)- scientific article; zbMATH DE number 1156311 (Why is no real title available?)
- scientific article; zbMATH DE number 1951529 (Why is no real title available?)
- scientific article; zbMATH DE number 1979570 (Why is no real title available?)
- scientific article; zbMATH DE number 804375 (Why is no real title available?)
- Simulation refinement for concurrency verification
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4851528)