scientific article; zbMATH DE number 1543321
From MaRDI portal
Publication:4520792
Recommendations
Cited in
(15)- scientific article; zbMATH DE number 1156486 (Why is no real title available?)
- scientific article; zbMATH DE number 1569131 (Why is no real title available?)
- scientific article; zbMATH DE number 1222588 (Why is no real title available?)
- scientific article; zbMATH DE number 1361479 (Why is no real title available?)
- scientific article; zbMATH DE number 1390086 (Why is no real title available?)
- scientific article; zbMATH DE number 1951131 (Why is no real title available?)
- Tools and Algorithms for the Construction and Analysis of Systems
- scientific article; zbMATH DE number 1408333 (Why is no real title available?)
- Synchronization languages
- Formalization of Habanero phasers using Coq
- SC-expressions in object-oriented languages
- scientific article; zbMATH DE number 1947672 (Why is no real title available?)
- scientific article; zbMATH DE number 4035180 (Why is no real title available?)
- scientific article; zbMATH DE number 194601 (Why is no real title available?)
- scientific article; zbMATH DE number 1864594 (Why is no real title available?)
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 Q4520792)